
Conte aos seus amigos sobre este 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
Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
Lançado | 12 de março de 2013 |
ISBN13 | 9780470876183 |
Editoras | John Wiley & Sons Inc |
Páginas | 292 |
Dimensões | 155 × 234 × 17 mm · 500 g |