Kniha momentálne nie je na sklade
Parametre
Nákup knihy
Computer verification of algorithms using a formal proof system, Markus Kaiser
- Jazyk
- Rok vydania
- 2010
Akonáhle sa objaví, pošleme vám e-mail.
Doručenie
Platobné metódy
Navrhnúť zmenu
- Titul
- Computer verification of algorithms using a formal proof system
- Jazyk
- anglicky
- Autori
- Markus Kaiser
- Vydavateľ
- dissertation.de
- Rok vydania
- 2010
- ISBN10
- 3866244835
- ISBN13
- 9783866244832
- Séria
- Dissertation.de
- Kategórie
- Počítače, IT, programovanie