Systems and Software Verification: Model-Checking Techniques and Tools - B. Berard - Bøger - Springer-Verlag Berlin and Heidelberg Gm - 9783642074783 - 15. december 2010
Ved uoverensstemmelse mellem cover og titel gælder titel

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

Pris
DKK 1.411

Bestilles fra fjernlager

Forventes klar til forsendelse 19. - 31. aug.
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.

202 pages, 4 black & white illustrations, biography

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 15. december 2010
ISBN13 9783642074783
Forlag Springer-Verlag Berlin and Heidelberg Gm
Antal sider 190
Mål 233 × 157 × 18 mm   ·   328 g
Sprog Tysk  
Oversætter McKenzie, P.

Mere med samme udgiver

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