Formal Methods for Industrial Critical Systems

Name: Formal Methods for Industrial Critical Systems
Brand: Springer International Publishing AG
SKU: 9783319194578
Price: 264.75 RON
Availability: InStock

20th International Conference, FMICS 2015, Oslo, Norway, June 22-23, 2015, Proceedings

Autor: Manuel Nunez, Matthias Güdemann

Limbă:

Legare: Carte broșată

Editura: Springer International Publishing AG

Disponibilitate: În depozitul extern

Expediem în 5-8 zile

264.75 lei

This book constitutes the proceedings of the 20th International Conference on Formal Methods for Ind...

Informații despre carte

Autor

Manuel Nunez, Matthias Güdemann

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2015

Pagini

213

EAN

9783319194578

ISBN

3319194577

Enbook ID

09285181

Editura

Springer International Publishing AG

Greutate

3577

Dimensiuni

155 x 235 x 12

Descriere completă

This book constitutes the proceedings of the 20th International Conference 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.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Formal Methods for Industrial Critical Systems

20th International Conference, FMICS 2015, Oslo, Norway, June 22-23, 2015, Proceedings

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și