Principles of model checking

Principles of model checking

Bibliografiska uppgifter
Huvudupphovsman: Baier, Christel
Övriga upphovsmän: Katoen, Joost-Pieter
Materialtyp: Bok
Språk:English
Publicerad: Cambridge, Mass. MIT Press [2008?]
Ämnen:
Computer systems > Verification.
Computer software > Verification.
Länkar:Table of contents only