Systems and Software Verification: Model-Checking Techniques and Tools - B. Berard - Böcker - Springer-Verlag Berlin and Heidelberg Gm - 9783642074783 - 15 december 2010
Om omslag och titel inte matchar är det titeln som gäller

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

Pris
SEK 1.459

Beställningsvara

Förväntad leverans 17 - 25 jun

Våra kunder säger:

14 dagars returrätt
Toppbetyg på Trustpilot
Lägg till din iMusic-önskelista
eller

Finns även som:

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 Böcker     Pocketbok   (Bok med mjukt omslag och limmad rygg)
Releasedatum 15 december 2010
ISBN13 9783642074783
Utgivare Springer-Verlag Berlin and Heidelberg Gm
Antal sidor 190
Mått 233 × 157 × 18 mm   ·   328 g
Språk Tyska  
Översättare McKenzie, P.

Mere med samme udgiver

Se alt med B. Berard ( t.ex. Inbunden Bok och Pocketbok )