Constraint-Based Verification - Jun Yuan - Bücher - Springer-Verlag New York Inc. - 9781441938527 - 29. Oktober 2010
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

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

Preis
€ 98,49

Bestellware

Lieferdatum: ca. 20. - 28. Jul

Unsere Kunden sagen:

14-Tage-Rückgaberecht
Topbewertung bei Trustpilot
Zu deiner iMusic Wunschliste hinzufügen
oder

Noch nicht bewertet

Auch vorhanden als:

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

Medien Bücher     Taschenbuch   (Buch mit Softcover und geklebtem Rücken)
Erscheinungsdatum 29. Oktober 2010
ISBN13 9781441938527
Verlag Springer-Verlag New York Inc.
Seitenanzahl 254
Maße 155 × 235 × 14 mm   ·   376 g
Sprache Englisch  

Mere med samme udgiver

Alle Titel von Jun Yuan ansehen ( u. a. Gebundenes Buch und Taschenbuch )