Synchronous Equivalence: Formal Methods for Embedded Systems - Harry Hsieh - Books - Springer-Verlag New York Inc. - 9781461356646 - November 5, 2012
In case cover and title do not match, the title is correct

Synchronous Equivalence: Formal Methods for Embedded Systems Softcover reprint of the original 1st ed. 2001 edition

Harry Hsieh

Price
CA$ 155.39

Ordered from remote warehouse

Expected delivery Jul 30 - Aug 7
Add to your iMusic wish list

Also available as:

Synchronous Equivalence: Formal Methods for Embedded Systems Softcover reprint of the original 1st ed. 2001 edition

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