|
" Formal methods and software engineering "
Karin Breitman, Ana Cavalcanti (eds.)
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
687049
|
| Doc. No
|
:
|
b509238
|
| Main Entry
|
:
|
International Conference on Formal Engineering Methods(11th :2009 :, Rio de Janeiro, Brazil)
|
| Title & Author
|
:
|
Formal methods and software engineering : 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009 ; proceedings /\ Karin Breitman, Ana Cavalcanti (eds.)
|
| Publication Statement
|
:
|
Berlin :: Springer,, c2009
|
| Series Statement
|
:
|
Lecture notes in computer science,; 5885
|
| Page. NO
|
:
|
1 online resource (xiv, 758 p. :: ill.)
|
| ISBN
|
:
|
3642103731
|
|
|
:
|
: 9783642103735
|
|
|
:
|
9783642103728
|
| Notes
|
:
|
International conference proceedings
|
| Bibliographies/Indexes
|
:
|
Includes bibliographical references and index
|
| Abstract
|
:
|
Annotation
|
| Subject
|
:
|
Formal methods (Computer science), Congresses
|
| Subject
|
:
|
Software engineering, Congresses
|
| LC Classification
|
:
|
QA76.9.F67I584 2009
|
| Added Entry
|
:
|
Breitman, K. K., (Karin K.)
|
|
|
:
|
Cavalcanti, Ana
|
| Parallel Title
|
:
|
ICFEM 2009
|
| |