A 2002 collection of comprehensive surveys by leading researchers that introduces and compares the major specification notations and modelling techniques.

Descrizione del libro:

This 2002 collection of comprehensive surveys by leading researchers presents techniques in the application of formal methods to object-based distributed systems, including sections on dynamic reconfiguration, encapsulation, subtyping, inheritance, and real-time aspects.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Descrizione libreria

Professional Book Seller offering fast shipping and hassle-free returns for every order. Our 100% satisfaction policy guarantees that you get the best product and the best service at the best price!

Visita la pagina della libreria

Informazioni sull?azienda del venditore

Basi6 International LLC
1018 Camino Lago, Irving, TX, 75039, U.S.A.

Condizioni di vendita:

Professional Book Seller shipping from Multiple Locations Worldwide for fastest delivery possible!

Condizioni di spedizione:

All orders shipped via FedEx or DHL and delivered to your doorstep within 3-5 days. We do not ship to P.O.Boxes and a proper street address must be provided to avoid any delays.

Informazioni dettagliate sul venditore

Metodi di pagamento
accettati dalla libreria

Aggiungi ai desiderata

Articoli correlati a Formal Methods For Distributed Processing A Survey...

Formal Methods For Distributed Processing A Survey Of Object-Oriented Approaches (Hb 2001)

Bowman

Nuovi - Rilegato

Informazioni sull?azienda del venditore