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 - Ifip Advances in Inform - International Conference on Formal Methods for Open Object-based Distributed Systems - Kirjat - Kluwer Academic Publishers - 9780792379232 - torstai 31. elokuuta 2000
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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 - Ifip Advances in Inform

International Conference on Formal Methods for Open Object-based Distributed Systems

Hinta
R 4.629,90

Tilattu etävarastosta

Arvioitu toimitus pe - ti 15. - 26. elo
Lisää iMusic-toivelistallesi
Eller

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 - Ifip Advances in Inform

Presents the advances in the fields of object-oriented programming, open distributed systems, and formal methods for object-oriented systems. This book includes the papers in this that focus on such technologies as: components; mobile code; Java[registered]; The Unified Modeling Language (UML); and, temporal and probabilistic systems.


429 pages, biography

Media Kirjat     Hardcover Book   (Sidottu kirja kovilla kansilla sekä suojakannella)
Julkaisupäivämäärä torstai 31. elokuuta 2000
ISBN13 9780792379232
Tuottaja Kluwer Academic Publishers
Sivujen määrä 429
Mitta 156 × 234 × 23 mm   ·   775 g
Toimittaja Smith, Scott F.
Toimittaja Talcott, Carolyn L.

Näytä kaikki

Lisää tuotteita International Conference on Formal Methods for Open Object-based Distributed Systems