Formal Methods for Industrial Critical Systems

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

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

Autor: Manuel Nunez, Matthias Güdemann

Język:

Oprawa: Miękka

Wydawca: Springer International Publishing AG

Dostępność: Dostępna u dostawcy

Wysyłamy za 5-8 dni

208.67 zł

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

Informacje o książce

Autor

Manuel Nunez, Matthias Güdemann

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

2015

strony

213

EAN

9783319194578

ISBN

3319194577

Enbook ID

09285181

Wydawca

Springer International Publishing AG

Waga

3577

Wymiary

155 x 235 x 12

Pełny opis

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.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Formal Methods for Industrial Critical Systems

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

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również