Systems and Software Verification: Model-Checking Techniques and Tools - B. Berard - Boeken - Springer-Verlag Berlin and Heidelberg Gm - 9783642074783 - 15 december 2010
Indien omslag en titel niet overeenkomen, is de titel correct

B. Berard
Systems and Software Verification: Model-Checking Techniques and Tools Softcover reprint of hardcover 1st ed. 2001 edition

Prijs
€ 135,49

Besteld in een afgelegen magazijn

Verwachte levering 4 - 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.

202 pages, 4 black & white illustrations, biography

Media Boeken     Paperback Book   (Boek met zachte kaft en gelijmde rug)
Vrijgegeven 15 december 2010
ISBN13 9783642074783
Uitgevers Springer-Verlag Berlin and Heidelberg Gm
Pagina's 190
Afmetingen 233 × 157 × 18 mm   ·   328 g
Taal en grammatica Duits  
Vertaler McKenzie, P.

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