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 12 - 20 nov.
Les cadeaux de Noël peuvent être échangés jusqu'au 31 janvier
Recevez une notification pour les nouvelles sorties de Jun Yuan

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  

Plus d'ouvrages du même éditeur

Voir tous les Jun Yuan