Formal methods for components and objects

RecordNumber :

35104

Title :

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 :

LC Number :

76.9

LC CutterNumber :

.F67F53

LC Date :

2008

Language :

English

Link To Document :

http://library.art.ac.ir/dL/search/default.aspx?Term=35104&Field=0&DTC=395