Formal methods for open object-based distributed systems: 3rd
Auteur :
Ciancarini, Paolo
ISBN :
9780792384298
Date de publication :
28 févr. 1999
Dimensions :
23,4 x 15,6 x 2,5 cm
Poids :
807 g
Format :
Laminated cover
Langue :
Anglais
Pays d'origine :
USA
Discusses many topics, including the following: object-oriented design and programming; formal specification of distributed systems; open distributed platforms; types, interfaces and behaviour; and, formalisation of object-oriented methods.