Constraint-Based Verification - Jun Yuan - Livres - Springer-Verlag New York Inc. - 9781441938527 - 29 octobre 2010
Si la couverture et le titre ne correspondent pas, le titre est correct.

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

Prix
€ 97,49

Commandé depuis un entrepôt distant

Livraison prévue 21 - 29 juil.

Nos clients disent :

Politique de retour de 14 jours conformément à la loi européenne sur la protection des consommateurs
Meilleur classement sur Trustpilot
Ajouter à votre liste de souhaits iMusic

Pas encore évalué

Également disponible en tant que :

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

Médias Livres     Paperback Book   (Livre avec couverture souple et dos collé)
Validé 29 octobre 2010
ISBN13 9781441938527
Éditeurs Springer-Verlag New York Inc.
Pages 254
Dimensions 155 × 235 × 14 mm   ·   376 g
Langue et grammaire Anglais  

Mere med samme udgiver

Voir tous les Jun Yuan ( par ex. Hardcover Book et Paperback Book )