Books+ Search Results
Formal methods for components and objects : second international symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003 : revised lectures
Title
Formal methods for components and objects : second international symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003 : revised lectures / Frank S. de Boer...et.al.
ISBN
3540229426
Published
Berlin ; New York : Springer-Verlag, 2004.
Physical Description
viii, 371 p. : ill. ; 24 cm.
Format
Books
Language
English
Added to Catalog
November 17, 2004
Subjects
Also listed under
Bookmark As
Citation
