Popis: Principles of model checking /

Uloženo v:

Podrobná bibliografie
Hlavní autoři:	Baier, Christel (Autor), Katoen, Joost-Pieter, 1964- (Autor)
Typ dokumentu:	Kniha
Jazyk:	Angličtina
Vydáno:	Cambridge, Mass. : MIT Press, [2008]
Témata:	počítačové systémy software computer systems e-prezenčka

Přejít na ObalkyKnih.cz

Popis
Fyzický popis:	xvii, 975 s.
ISBN:	978-0-262-02649-9