The calculus of Computation : decision procedures with applications to verification /

Uloženo v:
Podrobná bibliografie
Hlavní autoři: Bradley, Aaron R. (Autor), Manna, Zohar, 1939-2018 (Autor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Berlin : Springer, c2007.
Témata:
počítačové programy
computer programs
monografie
monographs
Obálka Obsah Přejít na ObalkyKnih.cz
Popis
Fyzický popis:xv, 366 s. : il.
ISBN:978-3-540-74112-1

Podobné jednotky