Principles of model checking /
Hlavní autor: |
Baier, Christel
(
Autor )
|
---|---|
Další autoři: |
Katoen, Joost-Pieter
(
Autor )
|
Typ dokumentu: | Kniha |
Jazyk: |
angličtina |
Vydavatel: |
Cambridge, Mass. :
MIT Press,
2008.
|
Předmět: | |