Knihu momentálně nemáme skladem
Parametry
Nákup knihy
Computer verification of algorithms using a formal proof system, Markus Kaiser
- Jazyk
- Rok vydání
- 2010
Jakmile ji vyčmucháme, pošleme vám e-mail.
Doručení
Platební metody
Navrhnout úpravu
- Titul
- Computer verification of algorithms using a formal proof system
- Jazyk
- anglicky
- Autoři
- Markus Kaiser
- Vydavatel
- dissertation.de
- Rok vydání
- 2010
- ISBN10
- 3866244835
- ISBN13
- 9783866244832
- Série
- Dissertation.de
- Kategorie
- Počítače, IT, programování