
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 2002 edition
Bart Jacobs
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 2002 edition
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 |
Editor | Jacobs, Bart |
Editor | Rensink, Arend |