10% OFF

Synchronous Equivalence eBook

Formal Methods For Embedded Systems

by Felice Balarin, Alberto L. Sangiovanni-Vincentelli e Harry Hsieh
language: english
Publisher: SPRINGER US, December of 2012 ‧
118,59€
10% OFF CARD
IMMEDIATE AVAILABILITY
Ebook for ADE
Formal Methods for Embedded Systems.

Synchronous Equivalence

Formal Methods For Embedded Systems

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

Property Description
ISBN: 9781461516590
Publisher: SPRINGER US
Release Date: December of 2012
Language: English
Format: eBook
File Format and Compatibility: PDF para ADE
Collection: Engineering
Categories: eBooks in English > Engineering > Electricity and Energy
EAN: 9781461516590