Formal Methods for Open Object-Based Distributed Systems edito da Springer-Verlag GmbH
Alta reperibilità

Formal Methods for Open Object-Based Distributed Systems

9th Ifip Wg 6.1 International Conference, Fmoods 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings

EAN:

9783540729198

ISBN:

3540729194

Pagine:
317
Formato:
Paperback
Lingua:
Tedesco
Acquistabile con o la

Descrizione Formal Methods for Open Object-Based Distributed Systems

This book constitutes the refereed proceedings of the 9th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2007, held in Paphos, Cyprus, June 2007. The 17 revised full papers presented together with two invited papers cover model checking rewriting logic components and services algebraic calculi specification, verification and refinement, and quality of service.

Spedizione gratuita
€ 68.40€ 72.00
Risparmi:€ 3.60(5%)
o 3 rate da € 22.80 senza interessi con
Disponibile in 10-12 giorni
servizio Prenota Ritiri su libro Formal Methods for Open Object-Based Distributed Systems
Prenota e ritira
Scegli il punto di consegna e ritira quando vuoi

Recensioni degli utenti

e condividi la tua opinione con gli altri utenti