Formal Methods for Open Object-Based Distributed Systems IV
283,80 €
Lisää toivelistalle
This volume discusses the fields of object-oriented programming, open distributed systems, and formal methods for object-oriented systems. Papers included within focus on the following specific technologies: components; mobile code; Java; the Unified Modelling Language (UML); refinement of specifications; types and subtyping; and temporal and probabilistic systems.
- Alaotsikko
- 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
- Toimittaja
- Smith Scott F., Talcott Carolyn L.
- ISBN
- 9780792379232
- Kieli
- englanti
- Paino
- 518 grammaa
- Julkaisupäivä
- 31.8.2000
- Kustantaja
- Kluwer Academic Publishers
- Sivumäärä
- 422
