Formal methods for open object-based distributed systems iv: ifip tc6/wg6.1. fourth international conference on formal methods for open object-based distributed systems (fmoods 2000) september 6-8, 2000, stanford, california, usa: v. 4
Auteur :
Smith, Scott F.
ISBN :
9780792379232
Date de publication :
31 août 2000
Dimensions :
23,4 x 15,6 x 2,3 cm
Poids :
1720 g
Format :
Laminated cover
Langue :
Anglais
Pays d'origine :
USA
Presents the advances in the fields of object-oriented programming, open distributed systems, and formal methods for object-oriented systems. This book includes the papers in this that focus on such technologies as: components; mobile code; Java[registered]; The Unified Modeling Language (UML); and, temporal and probabilistic systems.