
Conte aos seus amigos sobre este 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
Mídia | Livros Hardcover Book (Livro com lombada e capa dura) |
Lançado | 31 de março de 2002 |
ISBN13 | 9780792376835 |
Editoras | Springer |
Páginas | 284 |
Dimensões | 155 × 235 × 15 mm · 625 g |
Idioma | English |
Editor | Jacobs, Bart |
Editor | Rensink, Arend |
Mais por Bart Jacobs
Ver tudo de Bart Jacobs ( por exemplo Hardcover Book , Paperback Book e CD )