Systems and Software Verification: Model-Checking Techniques and Tools - B. Berard - Bøker - Springer-Verlag Berlin and Heidelberg Gm - 9783642074783 - 15. desember 2010
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

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

Pris
NOK 1.379

Bestillingsvarer

Forventes levert 3. - 11. jun

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
eller

Finnes 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

Media Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 15. desember 2010
ISBN13 9783642074783
Utgivere Springer-Verlag Berlin and Heidelberg Gm
Antall sider 190
Mål 233 × 157 × 18 mm   ·   328 g
Språk Tysk  
Oversetter McKenzie, P.

Se alt med B. Berard ( f.eks. Pocketbok og Innbunden bok )