Contact
Hoe winkelen bij ons werkt
Bezorging
Winkelgids
Systems and Software Verification
Engels
349 b
Retourneren binnen 30 dagen
Klanten kochten ook
/
Gebonden (paperback)
13.66
€
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.
Informatie over het boek
Engels
Categorieën
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvangerDit vind je misschien ook interessant
/
Bladmuziek
26.72
€
/
Gebonden (paperback)
18.12
€
/
Gebonden (paperback)
12.65
€
Hoi! Ik ben Libroamiko, je boekadviseur.
Hoe kan ik je helpen?