Kniha momentálne nie je na sklade
Interactive Theorem Proving
Autori
Parametre
Nákup knihy
Interactive Theorem Proving, Christian Urban
- Jazyk
- Rok vydania
- 2015
Akonáhle sa objaví, pošleme vám e-mail.
Doručenie
Platobné metódy
2021 2022 2023
Navrhnúť zmenu
- Titul
- Interactive Theorem Proving
- Jazyk
- anglicky
- Autori
- Christian Urban
- Vydavateľ
- Springer-Verlag GmbH
- Rok vydania
- 2015
- Väzba
- mäkká
- ISBN10
- 3319221019
- ISBN13
- 9783319221014
- Kategórie
- Technika / Strojárenstvo, Počítače, IT, programovanie