Systems and Software Verification: Model-Checking Techniques and Tools - B. Berard - Bøger - Springer-Verlag Berlin and Heidelberg Gm - 9783540415237 - 20. juni 2001
Ved uoverensstemmelse mellem cover og titel gælder titel

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

Pris
DKK 1.411

Bestilles fra fjernlager

Forventes klar til forsendelse 20. aug. - 1. sep.
Modtag notifikation om nye B. Berard udgivelser

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
eller

Ikke bedømt endnu

Findes også 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

Medie Bøger     Hardcover bog   (Bog med hård ryg og stift omslag)
Udgivet 20. juni 2001
ISBN13 9783540415237
Forlag Springer-Verlag Berlin and Heidelberg Gm
Antal sider 190
Mål 166 × 242 × 24 mm   ·   412 g
Sprog Engelsk   Tysk  
Oversætter McKenzie, P.

Mere med samme udgiver

Se alt med B. Berard ( f.eks. Hardcover bog og Paperback Bog )