Constraint-Based Verification - Jun Yuan - Bøger - Springer-Verlag New York Inc. - 9780387259475 - 13. januar 2006
Ved uoverensstemmelse mellem cover og titel gælder titel

Jun Yuan
Constraint-Based Verification 2006 edition

Pris
DKK 1.023

Bestilles fra fjernlager

Forventes klar til forsendelse 22. okt. - 3. nov.
Modtag notifikation om nye Jun Yuan udgivelser

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
eller

Ikke bedømt endnu

Findes også som:

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.

254 pages, 72 black & white illustrations, biography

Medie Bøger     Hardcover bog   (Bog med hård ryg og stift omslag)
Udgivet 13. januar 2006
ISBN13 9780387259475
Forlag Springer-Verlag New York Inc.
Antal sider 254
Mål 155 × 235 × 15 mm   ·   571 g
Sprog Engelsk  

Mere med samme udgiver

Se alt med Jun Yuan