Hoppa till sidans huvudinnehåll

International Conference on Formal Metho – författare

Visar alla böcker från författaren .
2 produkter
International Conference on Formal Metho, Scott F. Smith, Carolyn L. Talcott - Formal Methods for Open Object-Based Distributed Systems IV, Inbunden

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 869 kr

Skickas inom 10-15 vardagar

International Conference on Formal Metho, International Federation for Information, Paolo Ciancarini, Alessandro Fantechi, Roberto Gorrieri - Formal Methods for Open Object-Based Distributed Systems, Inbunden

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 869 kr

Skickas inom 10-15 vardagar