Constraint-Based Verification - Jun Yuan - Bøker - Springer-Verlag New York Inc. - 9781441938527 - 29. oktober 2010
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

Jun Yuan
Constraint-Based Verification Softcover reprint of hardcover 1st ed. 2006 edition

Pris
NOK 999

Bestillingsvarer

Forventes levert 4. - 12. 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     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 29. oktober 2010
ISBN13 9781441938527
Utgivere Springer-Verlag New York Inc.
Antall sider 254
Mål 155 × 235 × 14 mm   ·   376 g
Språk Engelsk  

Mere med samme udgiver

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