Systems and Software Verification: Model-Checking Techniques and Tools - B. Berard - Livres - Springer-Verlag Berlin and Heidelberg Gm - 9783540415237 - 20 juin 2001
Si la couverture et le titre ne correspondent pas, le titre est correct.

B. Berard
Systems and Software Verification: Model-Checking Techniques and Tools 2001 edition

Prix
€ 158,99

Commandé depuis un entrepôt distant

Livraison prévue 19 juin - 3 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

É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.

190 pages, biography

Médias Livres     Hardcover Book   (Livre avec dos et couverture rigide)
Validé 20 juin 2001
ISBN13 9783540415237
Éditeurs Springer-Verlag Berlin and Heidelberg Gm
Pages 190
Dimensions 166 × 242 × 24 mm   ·   412 g
Langue et grammaire Anglais   Allemand  
Traducteur McKenzie, P.

Mere med samme udgiver

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