Formal Methods for Industrial Critical Systems edito da Springer-Verlag GmbH
Alta reperibilità

Formal Methods for Industrial Critical Systems

20th International Workshop, Fmics 2015 Oslo, Norway, June 22-23, 2015 Proceedings

EAN:

9783319194578

ISBN:

3319194577

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

Descrizione Formal Methods for Industrial Critical Systems

This book constitutes the proceedings of the 20th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2015, Oslo, Norway, in June 2015. The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections: applications; protocols; specification and analysis; verification.

Spedizione gratuita
€ 62.37
o 3 rate da € 20.79 senza interessi con
Disponibile in 10-12 giorni
servizio Prenota Ritiri su libro Formal Methods for Industrial Critical 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