Formal Methods for Industrial Critical SystemsAuthor :
Paperback
Published : Wednesday 27 May 2015
Description
This book constitutes the proceedings of the 20th International Workshop 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;
You may also like ...
![Product](https://abcbooksimages.s3.eu-west-1.amazonaws.com/sBookimagesFlat2020/9783319194578.jpg)
by
Paperback
27 May 2015
Compilers and interpreters
€46.79
Extended stock – Dispatch 5-7 days
![Product](https://abcbooksimages.s3.eu-west-1.amazonaws.com/sBookimagesFlat2020/9780367882396.jpg)
by
Paperback
12 Dec 2019
Art music, orchestral and formal music
€46.79
Extended stock – Dispatch 5-7 days
![Product](https://abcbooksimages.s3.eu-west-1.amazonaws.com/sBookimagesFlat2020/9780300233025.jpg)
by
Hardback
24 Jul 2018
The arts: general topics
€35.10
Extended stock – Dispatch 5-7 days
![Product](https://abcbooksimages.s3.eu-west-1.amazonaws.com/sBookimagesFlat2020/9780521148191.jpg)
by
Paperback
03 Jun 2010
Literary studies: general
€30.41
Extended stock – Dispatch 5-7 days
Reviews