Eruditor.com > Harry Hsieh

Harry Hsieh

Hsieh Harry, Balarin Felice, Sangiovanni-Vincentelli Alberto:
Synchronous Equivalence

Formal Methods For Embedded Systems
Kluwer Academic Publishers Group (Netherlands), 2000
Hardback, 152 pages

Usually ships within 1 week.

Will be shipped from: United Kingdom
 Add to Shopping Basket 
© 2006-2009 Eruditor Ltd and its partners

Search

Whole catalogue
World history: BCE to c 500 CE

Advanced Search

Browse

Authors’ Name Index

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Share |