| Books 1 - 5 of 5 | Previous | Next | 
|  | | Synchronous Equivalence: Formal Methods for Embedded Systems (1st Edition)
by Harry Hsieh, Felice Balarin, Alberto L. Sangiovanni-Vincentelli
Hardcover, 136 Pages, Published 2001 by Springer, 1st Edition
Compare Prices | Add to Wish List |
|  | | Hardware-Software Co-Design of Embedded Systems: The POLIS Approach (The Springer International Series in Engineering and Computer Science) (1st Edition)
by F. Balarin, Paolo Di Giusto, Attila Jurecska, Claudio Passerone, Ellen Sentovich, Bassam Tabbara, M. Chiodo, Harry Hsieh, Luciano Lavagno, Alberto Sangiovanni-Vincentelli, Kei Suzuki
Hardcover, 324 Pages, Published 1997 by Springer, 1st Edition
Compare Prices | Add to Wish List |
|  | | Memorandum
by Harry Hsieh
Unknown Binding, Published 1998 by Electronics Research Laboratory, College of Engineering, University of California
Compare Prices | Add to Wish List |
|  | | Formal methods for embedded system design (Memorandum)
by Harry Chia Chang Hsieh
Unknown Binding, 147 Pages, Published 2000 by Electronics Research Laboratory, College of Engineering, University of California
Compare Prices | Add to Wish List |
|  | | Synchronous Equivalence
by Harry/ Balarin, Felice/ Sangiovan Hsieh
Paperback, Published 2000 by Kluwer Academic Pub 01/1//2000
Compare Prices | Add to Wish List |
| | Books 1 - 5 of 5 | Previous | Next |
|