Popis: Model checking /

Uloženo v:

Podrobná bibliografie
Hlavní autoři:	Grumberg, Orna, 1952- (Autor), Peled, Doron A., 1962- (Autor), Clarke, E. M., 1945- (Autor)
Typ dokumentu:	Kniha
Jazyk:	Angličtina
Vydáno:	Cambridge : MIT Press, c1999.
Témata:	počítačová věda počítačové systémy computer science computer systems

Přejít na ObalkyKnih.cz

Popis
Fyzický popis:	xiv, 314 s.
ISBN:	0-262-03270-8