Spara
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;
- Undertitel
- 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
- Redaktör
- Bart Jacobs, Arend Rensink
- Upplaga
- Softcover reprint of the original 1st ed. 2002
- ISBN
- 9781475752687
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2013-03-21
- Sidor
- 284
