Constraint-Based Verification - Jun Yuan - Bøker - Springer-Verlag New York Inc. - 9780387259475 - 13. januar 2006
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

Jun Yuan
Constraint-Based Verification 2006 edition

Pris
NOK 1.139

Bestillingsvarer

Forventes levert 11. - 25. jun

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
eller

Finnes 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

Media Bøker     Innbunden bok   (Bok med hard rygg og stivt omslag)
Utgitt 13. januar 2006
ISBN13 9780387259475
Utgivere Springer-Verlag New York Inc.
Antall sider 254
Mål 155 × 235 × 15 mm   ·   571 g
Språk Engelsk  

Mere med samme udgiver

Se alt med Jun Yuan ( f.eks. Innbunden bok og Pocketbok )