Spar
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;
- Undertittel
- 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
- Opplag
- Softcover reprint of the original 1st ed. 2002
- ISBN
- 9781475752687
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 21.3.2013
- Antall sider
- 284
