Systems and Software Verification: Model-Checking Techniques and Tools - B. Berard - Boeken - Springer-Verlag Berlin and Heidelberg Gm - 9783540415237 - 20 juni 2001
Indien omslag en titel niet overeenkomen, is de titel correct

B. Berard
Systems and Software Verification: Model-Checking Techniques and Tools 2001 edition

Prijs
€ 157,99

Besteld in een afgelegen magazijn

Verwachte levering 29 mei - 12 jun.

Onze klanten zeggen:

14 dagen retourrecht in overeenstemming met de Europese consumentenbeschermingswetgeving
Topnotering op Trustpilot
Voeg toe aan uw iMusic-verlanglijst

Ook verkrijgbaar als:

Model checking is a powerful approach for the formal verification of software. 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.

190 pages, biography

Media Boeken     Hardcover Book   (Boek met harde rug en kaft)
Vrijgegeven 20 juni 2001
ISBN13 9783540415237
Uitgevers Springer-Verlag Berlin and Heidelberg Gm
Pagina's 190
Afmetingen 166 × 242 × 24 mm   ·   412 g
Taal en grammatica Engels   Duits  
Vertaler McKenzie, P.

Bekijk alles van B. Berard ( bijv. Hardcover Book en Paperback Book )