Tallenna
Formal Methods for Open Object-based Distributed Systems
Formal Methods for Open Object-based Distributed Systems presents the latest research in several related fields, and the exchange of ideas and experiences in a number of topics including: formal models for object-based distributed computing;
- Alaotsikko
- Volume 1
- Toimittaja
- Elie Najm, Jean-Bernard Stefani
- Painos
- 1996 ed.
- ISBN
- 9780412797705
- Kieli
- englanti
- Paino
- 446 grammaa
- Julkaisupäivä
- 30.11.1996
- Kustantaja
- Chapman and Hall
- Sivumäärä
- 412
