Carolyn L. Talcott – författare
Visar alla böcker från författaren Carolyn L. Talcott. Handla med fri frakt och snabb leverans.
3 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 Carolyn L. Talcott, Scott F. Smith
E-bok, 2012
2948 kr
Lägg i varukorg
Formal Methods for Open Object-Based Distributed Systems IV presents the leading edge in the fields of object-oriented programming, open distributed systems, and formal methods for object-oriented systems. With increased support within industry regarding these areas, this book captures the most …
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, 2000
2250 kr
Lägg i varukorg
This volume discusses the fields of object-oriented programming, open distributed systems, and formal methods for object-oriented systems. Papers included within focus on the following specific technologies: components; mobile code; Java; the Unified Modelling Language (UML); refinement of …
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, 2012
2250 kr
Lägg i varukorg
Formal Methods for Open Object-Based Distributed Systems IV presents the leading edge in the fields of object-oriented programming, open distributed systems, and formal methods for object-oriented systems. With increased support within industry regarding these areas, this book captures the most …
