Principles of Model Checking - Principles of Model Checking - Baier, Christel (Technische Universitat Dresden) - Bøger - MIT Press Ltd - 9780262026499 - 25. april 2008
Ved uoverensstemmelse mellem cover og titel gælder titel

Principles of Model Checking - Principles of Model Checking

Baier, Christel (Technische Universitat Dresden)

Pris
CA$ 198,11

Bestilles fra fjernlager

Forventes klar til forsendelse 4. - 7. aug.

Vores kunder siger:

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

Principles of Model Checking - Principles of Model Checking

A comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software; with extensive examples and both practical and theoretical exercises.

984 pages, illus.

Medie Bøger     Hardcover bog   (Bog med hård ryg og stift omslag)
Udgivet 25. april 2008
ISBN13 9780262026499
Forlag MIT Press Ltd
Antal sider 984
Mål 206 × 258 × 42 mm   ·   2,10 kg

Se alt med Baier, Christel (Technische Universitat Dresden) ( f.eks. Hardcover bog )