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 Obsah Přejít na ObalkyKnih.cz
Popis
Popis jednotky:Obsahuje bibliografii a rejstřík
Fyzický popis:xxiv, 1210 stran : ilustrace
ISBN:978-3-319-10574-1

Podobné jednotky