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