International Conference on Formal Metho – författare
Visar alla böcker från författaren International Conference on Formal Metho. Handla med fri frakt och snabb leverans.
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, 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
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, 1999
2250 kr
Lägg i varukorg
Formal Methods for Open Object-Based Distributed Systems presents the leading edge in several related fields, specifically object-orientated programming, open distributed systems and formal methods for object-oriented systems. With increased support within industry regarding these areas, this book …
