Tell your friends about this item:
Formal Methods for Open Object-Based Distributed Systems V: 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 - IFIP Advances in Informati Bart Jacobs 2002 edition
Formal Methods for Open Object-Based Distributed Systems V: 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 - IFIP Advances in Informati
Bart Jacobs
Formal Methods for Open Object-Based Distributed Systems V brings together research in three important and related fields: Formal methods;
290 pages, biography
| Media | Books Hardcover Book (Book with hard spine and cover) |
| Released | March 31, 2002 |
| ISBN13 | 9780792376835 |
| Publishers | Springer |
| Pages | 284 |
| Dimensions | 155 × 235 × 15 mm · 625 g |
| Language | English |
| Editor | Jacobs, Bart |
| Editor | Rensink, Arend |
Christmas presents can be returned until 31 January