Jednotky: Handbook of model checking /

Handbook of model checking /

Uloženo v:

Podrobná bibliografie
Další autoři:	Clarke, E. M., 1945- (Editor), Henzinger, T. A., 1962- (Editor), Veith, Helmut (Editor), Bloem, Roderick (Editor)
Typ dokumentu:	Kniha
Jazyk:	Angličtina
Vydáno:	Cham : Springer International Publishing AG, [2018]
Témata:	počítačové modelování počítačové systémy software computer modeling computer systems 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		U343 - skříň		4200518523
	Dostupné Měsíční	Fakulta informatiky		U343 - skříň		4200518522
	Dlouhodobá do 2027-06-30	Fakulta informatiky		U343		4200518521
	Dostupné Měsíční	Fakulta informatiky		U343 - skříň		4200518526
	Dostupné Měsíční	Fakulta informatiky		U343 - skříň		4200518525
	Dostupné Měsíční	Fakulta informatiky		U343		4200518524
	Dlouhodobá do 2027-06-30	Fakulta informatiky		U343		4200518881
	Dlouhodobá do 2027-12-07	Fakulta informatiky		U343		4200519785