
Conte aos seus amigos sobre este item:
Using Event-B for Critical Device Software Systems 2013 edition
Neeraj Kumar Singh
Using Event-B for Critical Device Software Systems 2013 edition
Neeraj Kumar Singh
Defining a new development life-cycle methodology, together with a set of associated techniques and tools to develop highly critical systems using formal techniques, this book adopts a rigorous safety assessment approach explored via several layers (from requirements analysis to automatic source code generation).
326 pages, 20 black & white tables, biography
Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
Lançado | 7 de julho de 2015 |
Data do lançamento original | 2013 |
ISBN13 | 9781447157908 |
Editoras | Springer London Ltd |
Páginas | 326 |
Dimensões | 155 × 235 × 18 mm · 485 g |
Idioma | English |
Mostrar tudo
Mais por Neeraj Kumar Singh
Ver tudo de Neeraj Kumar Singh ( por exemplo Paperback Book e Hardcover Book )