RecordNumber
35104
Title
Formal methods for components and objects
Publication
Springer
Publication Year
c2009
Collation
x, 297 p. : ill. ; 24 cm
Subject
Formal methods (Computer science) , Component software , Object-oriented programming (Computer science) , Softwareentwicklung , Softwareentwicklung , Formale Methode. , Komponente (Software) , Objektorientierung. , Softwareentwicklung.
LC Class
QA
LC Number
76.9
LC CutterNumber
.F67F53
LC Date
2008
Language
English