Författare
B. Berard
B. Berard är en uppskattad författare inom Data och IT med totalt 1 bok tillgängliga på Bokkollen, utgivna hos Springer-Verlag Berlin and Heidelberg GmbH & Co. KG.
Bland verken finns Systems and Software Verification, som toppar listan över B. Berards populäraste böcker. Verken spänner över data & it och tilltalar läsare som uppskattar genren.
På Bokkollen gör vi det enkelt att navigera i B. Berards författarskap. Vår databas uppdateras ständigt med nya släpp och format, så oavsett om du söker efter en lättläst pocket för semestern, en lyxig inbunden presentutgåva eller en digital ljudbok för pendlingen, har vi rätt utgåva för dig.
Jämför snabbt och smidigt priser på alla böcker av B. Berard hos Sveriges ledande bokhandlare – som Adlibris, Bokus och Akademibokhandeln – och hitta alltid det bästa erbjudandet utan att betala för mycket.
Systems and Software Verification
Model checking is a powerful approach for the formal verification of software. When applicable, it automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not correct.This book provides a basic introduction to this 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.
Hela bibliografin
Utforska alla B. Berards publicerade verk sorterade efter popularitet.
Upptäck liknande författare
Om du gillar B. Berard kommer du förmodligen att uppskatta även dessa författare inom data & it.