Tallenna
Formal Methods for Open Object-Based Distributed Systems IV
Formal Methods for Open Object-Based Distributed Systems IV presents the leading edge in the fields of object-oriented programming, open distributed systems, and formal methods for object-oriented 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
- Scott F. Smith, Carolyn L. Talcott
- Painos
- Softcover reprint of the original 1st ed. 2000
- ISBN
- 9781475710182
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 1.8.2012
- Kustantaja
- Springer-Verlag New York Inc.
- Sivumäärä
- 422
