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 - Grāmatas - Kluwer Academic Publishers - 9780792379232 - 2000. gada 31. augusts
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

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

Cena
€ 228,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 28. aug. - . gada 11. sept.
Saņemiet paziņojumus par jauniem International Conference on Formal Methods for Open Object-based Distributed Systems izdevumiem
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

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

Mediji Grāmatas     Hardcover Book   (Grāmata ar cieto muguriņu un vāku)
Izlaists 2000. gada 31. augusts
ISBN13 9780792379232
Izdevēji Kluwer Academic Publishers
Lapas 429
Izmēri 156 × 234 × 23 mm   ·   775 g
Redaktors Smith, Scott F.
Redaktors Talcott, Carolyn L.

Vairāk no International Conference on Formal Methods for Open Object-based Distributed Systems

Rādīt visu

Vairāk no tā paša izdevēja