عنوان
پدید آورنده
موضوع
رده
QA76.9.F67 I584 2009
QA76
.
9
.
F67
I584
2009
کتابخانه
محل استقرار
3642103731
9783642103735
9783642103728
b509238
Formal methods and software engineering
[Book]
11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009 ; proceedings /
Karin Breitman, Ana Cavalcanti (eds.)
Berlin :
Springer,
c2009
1 online resource (xiv, 758 p. :
ill.)
Lecture notes in computer science,
5885
0302-9743 ;
International conference proceedings
Includes bibliographical references and index
Annotation
Formal methods and software engineering.
3642103723
SpringerLink
ICFEM 2009
Formal methods (Computer science), Congresses
Software engineering, Congresses
QA76
.
9
.
F67
I584
2009
Breitman, K. K., (Karin K.)
Cavalcanti, Ana
International Conference on Formal Engineering Methods(11th :2009 :, Rio de Janeiro, Brazil)
20120501034632.0
مطالعه متن کتاب [Book]
Y
