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 - Boeken - Kluwer Academic Publishers - 9780792379232 - 31 augustus 2000
Indien omslag en titel niet overeenkomen, is de titel correct

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

Prijs
€ 219,49

Besteld in een afgelegen magazijn

Verwachte levering 9 - 20 jan. 2026
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld
Voeg toe aan uw iMusic-verlanglijst
of

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 Boeken     Hardcover Book   (Boek met harde rug en kaft)
Vrijgegeven 31 augustus 2000
ISBN13 9780792379232
Uitgevers Kluwer Academic Publishers
Pagina's 429
Afmetingen 156 × 234 × 23 mm   ·   775 g
Uitgever Smith, Scott F.
Uitgever Talcott, Carolyn L.

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

Alles tonen