Tell your friends about this item:
Formal Methods for Industrial Critical Systems: A Survey of Applications Stefania Gnesi
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 allMere med samme udgiver
See all of Stefania Gnesi ( e.g. Paperback Book )