International Conference on Formal Metho - Böcker

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

2 produkter

Kategorier

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

Av International Conference on Formal Metho, Scott F. Smith m. fl

Inbunden, Engelska, 2000

2 809 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

Av International Conference on Formal Metho, International Federation for Information m. fl

Inbunden, Engelska, 1999

2 809 kr

Skickas inom 10-15 vardagar