Formal Methods for Industrial Critical Systems

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

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

Szerző: Frédéric Lang, Francesco Flammini

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer International Publishing AG

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

18 775 Ft

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

Információk a könyvről

Szerző

Frédéric Lang, Francesco Flammini

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2014

oldal

201

EAN

9783319107011

ISBN

3319107011

Enbook ID

05147916

Kiadó

Springer International Publishing AG

Súly

3343

Méretek

155 x 235 x 12

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Formal Methods for Industrial Critical Systems

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

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták