Menu
Sprawdź status swojego zamówienia
Skontaktuj się z nami
Książka Systems and Software Verification B. Berard

Systems and Software Verification

Autor: B. Berard, M. Bidoit, A. Finkel, F. Laroussinie
Język: Angielski
Oprawa: Miękka
Wydawca: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Dostępność: Dostępna u dostawcy
Wysyłamy za 5-8 dni
598.28 zł
Model checking is a powerful approach for the formal verification of software. It automatically prov...

Informacje o książce

Autor
B. Berard, M. Bidoit, A. Finkel, F. Laroussinie
Język
Angielski
Oprawa
Książka - Miękka
Data wydania
2010
strony
190
EAN
9783642074783
ISBN
3642074782
Enbook ID
01652609
Wydawca
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga
328
Wymiary
155 x 235 x 18

Pełny opis

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.

Możesz być zainteresowany

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

Trinity College London
110.70 zł

Cultures of Power in Post-Communist Russia

Michael Urban
298.79 zł

Tell Me About the Holy Spirit

Gerald O'Mahony
64.49 zł

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

William Shepherd
92.12 zł

The Witwer Files

D. L. Dennis
65.57 zł

Real Planet of the Apes

David R. Begun
115.81 zł

Complete Air Fried Seafood Cookbook

Lucy Grant
105.00 zł

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

PS Publishing
52.69 zł

Klienci, którzy kupili tę książkę, kupili również

Proces Politique Et Republicain Du Citoyen Auguste Caunes

Sans Auteur
56.82 zł

Maoři

Václav Černý
64.19 zł

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

79.93 zł

Un chien à ma table

Hunzinger
131.45 zł

The Fame Monster

Lady Gaga
41.68 zł