Menu
Rendelés állapotának ellenőrzése
Kapcsolat
Könyv Systems and Software Verification B. Berard

Systems and Software Verification

Szerző: B. Berard, M. Bidoit, A. Finkel, F. Laroussinie
Nyelv: Angol
Kötés: Puha kötésű
Kiadó: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Elérhetőség: Beszállítói készleten
Küldés 5-8 napon belül
53 562 Ft
Model checking is a powerful approach for the formal verification of software. It automatically prov...

Információk a könyvről

Szerző
B. Berard, M. Bidoit, A. Finkel, F. Laroussinie
Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2010
oldal
190
EAN
9783642074783
ISBN
3642074782
Enbook ID
01652609
Kiadó
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly
328
Méretek
155 x 235 x 18

Teljes leírás

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.

Érdekelheti

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

Trinity College London
9 137 Ft

Cultures of Power in Post-Communist Russia

Michael Urban
27 218 Ft

Tell Me About the Holy Spirit

Gerald O'Mahony
5 725 Ft

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

William Shepherd
8 173 Ft

The Witwer Files

D. L. Dennis
5 881 Ft

Real Planet of the Apes

David R. Begun
10 238 Ft

Complete Air Fried Seafood Cookbook

Lucy Grant
9 516 Ft

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

PS Publishing
4 682 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Proces Politique Et Republicain Du Citoyen Auguste Caunes

Sans Auteur
5 034 Ft

Maoři

Václav Černý
5 614 Ft

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

6 591 Ft

Un chien à ma table

Hunzinger
10 818 Ft

The Fame Monster

Lady Gaga
3 674 Ft