
Vinkkaa tuotetta kavereillesi:
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
₪ 873,40
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
International Conference on Formal Methods for Open Object-based Distributed Systems
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