
Tell your friends about this 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
Media | Books Paperback Book (Book with soft cover and glued back) |
Released | November 5, 2012 |
Original release date | 2000 |
ISBN13 | 9781461356646 |
Publishers | Springer-Verlag New York Inc. |
Pages | 136 |
Dimensions | 155 × 235 × 8 mm · 222 g |
Language | English |
See all of Harry Hsieh ( e.g. Hardcover Book and Paperback Book )