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
Szerző:
Bart Jacobs, Arend Rensink
Elérhetőség:
Beszállítói készleten
Küldés 5-8 napon belül
38 497
Ft
Formal Methods for Open Object-Based Distributed Systems V brings together research in three importa...
