-
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
96.79 €
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
Nemecký jazyk 