Tallenna
Formal Methods for Open Object-Based Distributed Systems
Formal Methods for Open Object-Based Distributed Systems presents the leading edge in several related fields, specifically object-orientated programming, open distributed systems and formal methods for object-oriented systems.
- Alaotsikko
- IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15–18, 1999, Florence, Italy
- Toimittaja
- Paolo Ciancarini, Alessandro Fantechi, Roberto Gorrieri
- Painos
- Softcover reprint of the original 1st ed. 1999
- ISBN
- 9781475752663
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 17.1.2013
- Kustantaja
- Springer-Verlag New York Inc.
- Sivumäärä
- 436
