
Conte aos seus amigos sobre este item:
Formal Modeling and Verification of Cyber-Physical Systems: 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015 2015 edition
Rolf Drechsler
Formal Modeling and Verification of Cyber-Physical Systems: 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015 2015 edition
Rolf Drechsler
This book presents the lecture notes of the 1st Summer School on Methods and Tools for the Design of Digital Systems, 2015, held in Bremen, Germany.
313 pages, 101 black & white illustrations, 5 colour illustrations, 8 black & white tables, biograph
Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
Lançado | 25 de junho de 2015 |
ISBN13 | 9783658099930 |
Editoras | Springer |
Páginas | 313 |
Dimensões | 168 × 240 × 18 mm · 521 g |
Idioma | French |
Editor | Drechsler, Rolf |
Editor | Kuhne, Ulrich |
Mostrar tudo
Mais por Rolf Drechsler
Ver tudo de Rolf Drechsler ( por exemplo Paperback Book , Hardcover Book e Book )