Formal Methods for Industrial Critical Systems
Imported Edition
Delivered in 14-21 working days
Free shipping
Online price: ₹Rs4,032 ₹Rs3,911
You save ₹Rs121
Login/Register to add this product to a wishlist.
You will be asked to pay the full amount when your item is delivered. Only cash is accepted for this type of order. Pay Cash on Delivery
Format: Paperback
Synopsis of Formal Methods for Industrial Critical Systems
This book constitutes the proceedings of the 16th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2011, held in Trento, Italy, in August 2011. The 16 papers presented together with 2 invited talks were carefully reviewed and selected from 39 submissions. The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. It also strives to promote research and development for the improvement of formal methods and tools for industrial applications.
Product details
- Pages: 271
- Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Published: 19th September 2011
- Language: English
- ISBN: 9783642244308
- Category: Computers
Reviews of Formal Methods for Industrial Critical Systems
Read customer reviews on this product. If you have read this book, why not post your own review?
Recently viewed by you
3%
Off
Off
Forked Tongue: The...
by Rosalie Pedalino Porter
Paperback
3%
Off
Off
Forgotten Truths
by Sir Robert, Anderson
Paperback
3%
Off
Off
Forgotten Men of Cripple...
by Hazel M Spell
Paperback
3%
Off
Off