Springer Nature
Formal Methods For Open Object-Based Distributed Systems
Miglior prezzo disponibile
54,99$
Springer Nature · Spedizione gratuita
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: 54,99$
Prodotti simili
Una selezione di prodotti che potrebbero interessarti. Guarda tutti
Formal Methods For Open Object-Based Distributed Systems
54,99$
Formal Methods For Open Object-Based Distributed Systems V
109,99$
Formal Methods For Open Object-Based Distributed Systems Iv
219,99$
Formal Methods For Embedded Distributed Systems
109,99$
Object-Based Distributed Programming
54,99$
Formal Methods For Protocol Engineering And Distributed Systems
219,99$
Object-Based Parallel And Distributed Computation
54,99$
Leveraging Applications Of Formal Methods, Verification And Validation. Distributed Systems
39,99$