Hoppa till sidans huvudinnehåll

International Conference on Formal Metho – författare

Visar alla böcker från författaren International Conference on Formal Metho.
2 produkter

Formal Methods for Open Object-Based Distributed Systems IV

IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6–8, 2000, Stanford, California, USA

AvInternational Conference on Formal Metho,Scott F. Smithm. fl.

Inbunden, Engelska, 2000

2 839 kr

Skickas inom 10-15 vardagar

Formal Methods for Open Object-Based Distributed Systems

IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15–18, 1999, Florence, Italy

AvInternational Conference on Formal Metho,International Federation for Informationm. fl.

Inbunden, Engelska, 1999

2 839 kr

Skickas inom 10-15 vardagar