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

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

Pris
SEK 1.729

Beställningsvara

Förväntad leverans 17 jun - 1 jul

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.

190 pages, biography

Media Böcker     Inbunden Bok   (Inbunden bok med hårda pärmar och skyddsomslag)
Releasedatum 20 juni 2001
ISBN13 9783540415237
Utgivare Springer-Verlag Berlin and Heidelberg Gm
Antal sidor 190
Mått 166 × 242 × 24 mm   ·   412 g
Språk Engelska   Tyska  
Översättare McKenzie, P.

Mere med samme udgiver

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