Tallenna
Formal Methods for Open Object-Based Distributed Systems V
Formal Methods for Open Object-Based Distributed Systems V brings together research in three important and related fields:
- Formal methods;
- Alaotsikko
- IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002) March 20–22, 2002, Enschede, The Netherlands
- Toimittaja
- Bart Jacobs, Arend Rensink
- Painos
- Softcover reprint of the original 1st ed. 2002
- ISBN
- 9781475752687
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 21.3.2013
- Kustantaja
- Springer-Verlag New York Inc.
- Sivumäärä
- 284
