Buy Used and New HarryHsieh Books

Synchronous Equivalence: Formal Methods for Embedded Systems

by Harry Hsieh,Felice Balarin,Alberto L. Sangiovanni-Vincentelli

ISBN 13: 9780792372622

Format: Hardcover (136 pages)
Publisher: Springer
Published: 31 Dec 2000

Save for later

Hardware-Software Co-Design of Embedded Systems: The POLIS Approach: 404 (The Springer International Series in Engineering and Computer Science)

by F. Balarin,Paolo Giusto,Attila Jurecska,Claudio Passerone,Ellen Sentovich,Bassam Tabbara,M. Chiodo,Harry Hsieh,Luciano Lavagno,Alberto Sangiovanni-Vincentelli,Kei Suzuki

ISBN 13: 9780792399360

Format: Hardcover (324 pages)
Publisher: Springer
Published: 31 May 1997

Save for later