• Anglický jazyk

Constraint-Based Verification

Autor: Jun Yuan

Covers the methodology and state-of-the-art techniques of constrained verification, which is new and popular.

It relates constrained verification with the also-hot technology called assertion-based design.

Discussed... Viac o knihe

Na objednávku, dodanie 2-4 týždne

98.99 €

bežná cena: 109.99 €

O knihe

Covers the methodology and state-of-the-art techniques of constrained verification, which is new and popular.

It relates constrained verification with the also-hot technology called assertion-based design.

Discussed and clarifies language issues, critical to both the above, which will help the implementation of these languages.

  • Vydavateľstvo: Springer US
  • Rok vydania: 2010
  • Formát: Paperback
  • Rozmer: 235 x 155 mm
  • Jazyk: Anglický jazyk
  • ISBN: 9781441938527

Generuje redakčný systém BUXUS CMS spoločnosti ui42.