Springer Nature
Formal Methods For Open Object-Based Distributed Systems
Miglior prezzo disponibile
6,17€
Ammareal · Spedizione 2,69€
VISAPayPal
Prezzi aggiornati
Specifiche
MarcaSpringer Nature
CondizioneNuovo
Descrizione
This book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2008, held in Oslo, Norway, in June 2008. The 14 revised full papers presented together with 1 invited lecture were carefully reviewed and selected from 35 submissions. The papers cover topcics such as semantics of object-oriented programming; formal techniques for specification, analysis, and refinement; model checking; theorem proving and deductive verification; type systems and behavioral typing; formal methods for service-oriented computing; integration of quality of service requirements into formal models; formal approaches to component-based design; and applications of formal methods.
Storico prezzi
Ricevi una notifica se il prezzo scende
Ti invieremo un'email quando il prezzo di questo prodotto diminuirà.
- Aggiornamenti dei prezzi in tempo reale
- Oltre 50 negozi monitorati
- Avvisi gratuiti di calo prezzo
- Solo negozi verificati
Avvisami quando il prezzo scende sotto: 6,17€
Prodotti simili
Una selezione di prodotti che potrebbero interessarti. Guarda tutti
Formal Methods For Open Object-Based Distributed Systems
210,99€
Formal Methods For Open Object-Based Distributed Systems V
105,49€
Formal Methods For Open Object-Based Distributed Systems Iv
210,99€
Formal Methods For Open Object-Based Distributed Systems: 6Th Ifip Wg 6.1 International Conference, Fmoods 2003, Paris, France, - Elie Najm, Uwe Nestmann Et Perdita Stevens
6,17€
Formal Methods For Embedded Distributed Systems
105,49€
Formal Methods For Protocol Engineering And Distributed Systems
210,99€
Formal Methods For Distributed System Development
210,99€
Formal Techniques For Distributed Systems
42,79€
