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

Price
HK$ 840
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 9 - 15
Add to your iMusic wish list

Also available as:

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  

Mere med samme udgiver