Jednotky: Model checking /

Model checking /

Uloženo v:

Podrobná bibliografie
Hlavní autoři:	Clarke, E. M., 1945- (Autor), Grumberg, Orna, 1952- (Autor), Peled, Doron, 1962- (Autor), Kroening, Daniel (Autor), Veith, Helmut (Autor)
Typ dokumentu:	Kniha
Jazyk:	Angličtina
Vydáno:	Cambridge, Massachusetts : MIT Press, [2018]
Vydání:	Second edition
Edice:	The cyber-physical systems series
Témata:	modelování a simulace počítačová věda computer science modeling and simulation monografie monographs

Obálka

Přejít na ObalkyKnih.cz

Pro rezervaci/výpůjčku fyzického dokumentu se přihlaste.

Popis	Stav	Knihovna	Sbírka	Signatura	Poznámky	Čárový kód
	Dostupné Měsíční	Fakulta informatiky		U356		4200518894
	Dostupné Měsíční	Fakulta informatiky		U356 - skříň		4200518893
	Dostupné Měsíční	Fakulta informatiky		U356 - skříň		4200518892
	Dostupné Měsíční	Fakulta informatiky		U356		4200518891
	Dlouhodobá do 2027-06-30	Fakulta informatiky		U356		4200518890