Digitale Hardware/Software-Systeme : Spezifikation und Verifikation (eXamen.press) （2010. X, 601 S. m. Abb. 24 cm）

Digitale Hardware/Software-Systeme : Spezifikation und Verifikation (eXamen.press) （2010. X, 601 S. m. Abb. 24 cm）

  • ただいまウェブストアではご注文を受け付けておりません。 ⇒古書を探す
  • 製本 Paperback:紙装版/ペーパーバック版
  • 商品コード 9783642053559

Full Description

Das vorliegende Lehrbuch dient als Einführung in die systematische Verifikation eingebetteter Systeme, sowohl bei spezialisierten Verfahren zur Hardware- und Software-Verifikation als auch bei der Verifikation der Schnittstellen.

最近チェックした商品

Stories from Tagore (Edition1)
  • 洋書
Stories from Tagore…
Emerging Economic Landscape of Saudi Arabia
  • 洋書
Emerging Economic L…
DES JEUX VISUELS POUR DEVENIR UN BON LECTEUR 8-10 ANS (PETITS CAHIERS)
  • 洋書
DES JEUX VISUELS PO…
MONSIEUR P'TIT SOU - POCHE (LES P'TITS DIDI)
  • 洋書
MONSIEUR P'TIT SOU …
Bianca Brunner 'Gap in the Real' : Katalog zur Ausstellung im Bündner Kunstmuseum Chur, 2010 （2010. 80 S. 11 farb. u. 15 schw.-w. Abb. 27 cm）
  • 洋書
Bianca Brunner 'Gap…