Recomienda este artículo a tus amigos:
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
Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
Publicado | 25 de junio de 2015 |
ISBN13 | 9783658099930 |
Editores | Springer |
Páginas | 313 |
Dimensiones | 168 × 240 × 18 mm · 521 g |
Lengua | French |
Editor | Drechsler, Rolf |
Editor | Kuhne, Ulrich |
Mostrar todo
Mas por Rolf Drechsler
Ver todo de Rolf Drechsler ( Ej. Paperback Book , Hardcover Book y Book )