| Books 1 - 5 of 5 | Previous | Next | 
|  | | 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 | Set Price Alert |
|  | | 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 | Set Price Alert |
|  | | Synchronous equivalence for embedded systems: A tool for design exploration (Memorandum)
by Harry Hsieh
Unknown Binding, Published 1998 by Electronics Research Laboratory, College of Engineering, University of California
Compare Prices | Add to Wish List | Set Price Alert |
|  | | 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 | Set Price Alert |
|  | | Synchronous Equivalence
by Harry/ Balarin, Felice/ Sangiovan Hsieh
Paperback, Published 2000 by Kluwer Academic Pub 01/1//2000
Compare Prices | Add to Wish List | Set Price Alert |
| | Books 1 - 5 of 5 | Previous | Next |
|