Carolyn L. Talcott - Böcker

Visar alla böcker från författaren Carolyn L. Talcott.

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

Skickas inom 10-15 vardagar

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 Scott F. Smith, Carolyn L. Talcott

Häftad, Engelska, 2012

2 829 kr

Skickas inom 10-15 vardagar