
Conte aos seus amigos sobre este item:
Synchronous Equivalence: Formal Methods for Embedded Systems Softcover reprint of the original 1st ed. 2001 edition
Harry Hsieh
Synchronous Equivalence: Formal Methods for Embedded Systems Softcover reprint of the original 1st ed. 2001 edition
Harry Hsieh
136 pages, biography
Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
Lançado | 5 de novembro de 2012 |
Data do lançamento original | 2000 |
ISBN13 | 9781461356646 |
Editoras | Springer-Verlag New York Inc. |
Páginas | 136 |
Dimensões | 155 × 235 × 8 mm · 222 g |
Idioma | English |
Ver tudo de Harry Hsieh ( por exemplo Paperback Book e Hardcover Book )