Menu
Află starea comenzii
Contactați-ne
Carte Systems and Software Verification B. Berard

Systems and Software Verification

Autor: B. Berard, M. Bidoit, A. Finkel, F. Laroussinie
Limbă: engleză
Legare: Carte broșată
Editura: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Disponibilitate: În depozitul extern
Expediem în 5-8 zile
774.93 lei
Model checking is a powerful approach for the formal verification of software. It automatically prov...

Informații despre carte

Autor
B. Berard, M. Bidoit, A. Finkel, F. Laroussinie
Limbă
engleză
Legare
Carte - Carte broșată
Publicat
2010
Pagini
190
EAN
9783642074783
ISBN
3642074782
Enbook ID
01652609
Editura
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutate
328
Dimensiuni
155 x 235 x 18

Descriere completă

Model checking is a powerful approach for the formal verification of software. It automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not correct. Here, the author provides a well written and basic introduction to the new technique. 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. The second part explains how to write rich and structured temporal logic specifications in practice, while the third part surveys some of the major model checkers available.

S-ar putea să te intereseze

Violin Scales, Arpeggios & Studies Initial-Grade 8 from 2016

Trinity College London
136.18 lei

Cultures of Power in Post-Communist Russia

Michael Urban
386.50 lei

Tell Me About the Holy Spirit

Gerald O'Mahony
83.02 lei

Memoir Of The Last Illness And Death Of William Tharp Buchanan, Of Ilfracombe (1837)

William Shepherd
96.79 lei

The Witwer Files

D. L. Dennis
84.95 lei

Real Planet of the Apes

David R. Begun
148.84 lei

Complete Air Fried Seafood Cookbook

Lucy Grant
137.10 lei

The Photographer's Eye - Developing an Artistic Vision for Architectural Photography

PS Publishing
67.93 lei

Clienții care au cumpărat această carte au mai cumpărat și

Proces Politique Et Republicain Du Citoyen Auguste Caunes

Sans Auteur
73.20 lei

Maoři

Václav Černý
83.73 lei

Иди и делай. 12 принципов жизни, полной побед и достижений

98.21 lei

Un chien à ma table

Hunzinger
161.30 lei

The Fame Monster

Lady Gaga
54.77 lei