Conte aos seus amigos sobre este item:
Formal Methods for Industrial Critical Systems: A Survey of Applications
Stefania Gnesi
Preço
Kč 2.385
Item sob encomenda (no estoque do fornecedor)
Data prevista de entrega 15 - 26 de ago
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
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 |
![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)