Formal Methods for Industrial Critical Systems -  - Books - Springer Nature Switzerland AG - 9783030002435 - August 30, 2018
In case cover and title do not match, the title is correct

Formal Methods for Industrial Critical Systems 1st ed. 2018 edition

Price
zł 204.90
excl. VAT

Ordered from remote warehouse

Expected delivery Oct 13 - 23
Add to your iMusic wish list

Formal Methods for Industrial Critical Systems 1st ed. 2018 edition

This book constitutes the proceedings of the 23rd International Conference on Formal Methods for Industrial Critical Systems, FMICS 2018, held in Maynooth, Ireland, in September 2018. The 9 regular papers presented in this volume were carefully reviewed and selected from 17 submissions.


291 pages, 79 Illustrations, black and white; XVI, 291 p. 79 illus.

Media Books     Book
Released August 30, 2018
ISBN13 9783030002435
Publishers Springer Nature Switzerland AG
Pages 291
Dimensions 435 g
Language German  
Editor Barnat, Jiri
Editor Howar, Falk