Contact
Cum să cumpăr
Livrare
Consilier de cumpărături
Formal Methods for Open Object-Based Distributed Systems
10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings
engleză
132 b
30 de zile pentru retur bunuri
Clienții au cumpărat de asemenea
/
Carte broșată
133.36
lei
/
Carte broșată
118.97
lei
/
Carte broșată
83.20
lei
/
Carte broșată
262.56
lei
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.
Informații despre carte
engleză
Categorii
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinataruluiAr putea de asemenea, să te intereseze
/
Carte broșată
57.13
lei
/
Carte broșată
81.85
lei
/
Carte broșată
196.35
lei
/
Carte broșată
162.45
lei
