Hoppa till sidans huvudinnehåll

Carolyn L. Talcott - Böcker

Visar alla böcker från författaren Carolyn L. Talcott.
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. Smith,Carolyn L. Talcott,Scott F Smith,Carolyn L Talcott

Inbunden, Engelska, 2000

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

AvScott F. Smith,Carolyn L. Talcott

Häftad, Engelska, 2012

2 779 kr

Skickas inom 10-15 vardagar