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
Автор:
Bart Jacobs, Arend Rensink
Наличност:
Външен склад
Изпращаме след 5-8 дни
105.19
€
205.74 лв
Formal Methods for Open Object-Based Distributed Systems V brings together research in three importa...
