Systems and Software Verification: Model-Checking Techniques and Tools - B. Berard - Livres - Springer-Verlag Berlin and Heidelberg Gm - 9783642074783 - 15 décembre 2010
Si la couverture et le titre ne correspondent pas, le titre est correct.

B. Berard
Systems and Software Verification: Model-Checking Techniques and Tools Softcover reprint of hardcover 1st ed. 2001 edition

Prix
€ 134,49

Commandé depuis un entrepôt distant

Livraison prévue 18 - 26 juin

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 :

Model checking is a powerful approach for the formal verification of software. The first part describes in simple terms the theoretical basis of model checking: transition systems as a formal model of systems, temporal logic as a formal language for behavioral properties, and model-checking algorithms.

202 pages, 4 black & white illustrations, biography

Médias Livres     Paperback Book   (Livre avec couverture souple et dos collé)
Validé 15 décembre 2010
ISBN13 9783642074783
Éditeurs Springer-Verlag Berlin and Heidelberg Gm
Pages 190
Dimensions 233 × 157 × 18 mm   ·   328 g
Langue et grammaire Allemand  
Traducteur McKenzie, P.

Mere med samme udgiver

Voir tous les B. Berard ( par ex. Hardcover Book et Paperback Book )