Christel Baierin mallintarkistuksen periaatteet, joka on sidoksissa Dresdenin teknilliseen yliopistoon, on kattava oppikirja mallintarkistuksesta tietojenkäsittelytieteessä. Tämä käsikirja tarjoaa syvällistä teoreettista tietoa ja käytännön näkemyksiä, sopien opiskelijoille ja ammattilaisille, jotka haluavat perehtyä muodollisiin verifiointitekniikoihin.
Tuotetiedot
- Tekijä: Christel Baier (Dresdenin teknillinen yliopisto)
- Sarja: Principles of Model Checking
- Kustantaja: MIT Press Ltd
- Julkaisija: MIT Press
- Julkaisupäivä: 2008-04-25
- Sivumäärä: 984
- ISBN: 9780262026499
- Aihe: Tietojenkäsittelytiede
- BISAC: COMPUTERS / Computer Science