Scalable Techniques for Formal Verification - Sandip Ray - Livres - Springer-Verlag New York Inc. - 9781489984449 - 19 octobre 2014
Si la couverture et le titre ne correspondent pas, le titre est correct.

Scalable Techniques for Formal Verification 2010 edition

Sandip Ray

Prix
€ 134,99

Commandé depuis un entrepôt distant

Livraison prévue 24 févr. - 5 mars

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

Également disponible en tant que :

Scalable Techniques for Formal Verification 2010 edition

This book is about formal veri?cation, that is, the use of mathematical reasoning to ensure correct execution of computing systems. Over the last decade, formal veri?cation has made signi?cant headway in the analysis of industrial systems, particularly in the realm of veri?cation of hardware.

243 pages, biography

Médias Livres     Paperback Book   (Livre avec couverture souple et dos collé)
Validé 19 octobre 2014
ISBN13 9781489984449
Éditeurs Springer-Verlag New York Inc.
Pages 243
Dimensions 155 × 235 × 14 mm   ·   367 g
Langue et grammaire English  
Afficher tout

Plus par Sandip Ray

Voir tous les Sandip Ray ( par ex. Hardcover Book et Paperback Book )