10% de desconto

Synchronous Equivalence eBook

Formal Methods For Embedded Systems

de Felice Balarin, Alberto L. Sangiovanni-Vincentelli e Harry Hsieh
idioma: inglês
Editor: SPRINGER US, dezembro de 2012 ‧
118,59€
10% DESCONTO CARTÃO
DISPONIBILIDADE IMEDIATA
Ebook para ADE
Formal Methods for Embedded Systems.

Synchronous Equivalence

Formal Methods For Embedded Systems

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

Propriedade Descrição
ISBN: 9781461516590
Editor: SPRINGER US
Data de Lançamento: dezembro de 2012
Idioma: Inglês
Tipo de produto: eBook
Formato e Compatibilidade: PDF para ADE
Coleção: Engineering
Classificação Temática: eBooks em Inglês > Engenharia > Eletricidade e Energia
EAN: 9781461516590