Tell your friends about this item:
Formal Methods for Industrial Critical Systems: A Survey of Applications Stefania Gnesi
Price
Íkr 13,329
excl. VAT
Ordered from remote warehouse
Expected delivery Jul 22 - Aug 5
Get notified about new Stefania Gnesi releases
Our customers say:
Add to your iMusic wish list
Formal Methods for Industrial Critical Systems: A Survey of Applications
Stefania Gnesi
Today, formal methods are widely recognized as an essential step in the design process of industrial safety-critical systems.
292 pages, Illustrations
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | March 12, 2013 |
| ISBN13 | 9780470876183 |
| Publishers | John Wiley & Sons Inc |
| Pages | 292 |
| Dimensions | 155 × 234 × 17 mm · 500 g |
More by Stefania Gnesi
Show all![Cover for Stefania Gnesi · Fundamental Approaches to Software Engineering: 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings - Lecture Notes in Com (Paperback Book) [2014 edition] (2014)](https://imusic.b-cdn.net/images/item/original/031/9783642548031.jpg?stefania-gnesi-2014-fundamental-approaches-to-software-engineering-17th-international-conference-fase-2014-held-as-part-of-the-european-joint-conferences-on-theory-and-practice-of-software-etaps-2014-grenoble-france-april-5-13-2014-proceedings-lecture-note&class=scaled&v=1550679616)
More from the same publisher
See all of Stefania Gnesi ( e.g. Paperback Book )