Formal Methods for Industrial Critical Systems

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

19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings

Autor: Frédéric Lang, Francesco Flammini

Język:

Oprawa: Miękka

Wydawca: Springer International Publishing AG

Dostępność: Dostępna u dostawcy

Wysyłamy za 5-8 dni

209.08 zł

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

Informacje o książce

Autor

Frédéric Lang, Francesco Flammini

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

2014

strony

201

EAN

9783319107011

ISBN

3319107011

Enbook ID

05147916

Wydawca

Springer International Publishing AG

Waga

3343

Wymiary

155 x 235 x 12

Pełny opis

This book constitutes the proceedings of the 19th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2014, held in Florence, Italy, in September 2014. The 13 papers presented in this volume were carefully reviewed and selected from 26 submissions. They are organized in topical sections named: cyber-physical systems; computer networks; railway control systems; verification methods; and hardware and software testing.

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

19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings

Informacje o książce

Pełny opis

Możesz być zainteresowany

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