Spar
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.
- Undertittel
- IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15–18, 1999, Florence, Italy
- Opplag
- Softcover reprint of the original 1st ed. 1999
- ISBN
- 9781475752663
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 17.1.2013
- Antall sider
- 436
