Kniha momentálne nie je na sklade
Isabelle, HOL
Autori
Parametre
Nákup knihy
Isabelle, HOL, Tobias Nipkow
- Jazyk
- Rok vydania
- 2002
Akonáhle sa objaví, pošleme vám e-mail.
Doručenie
Platobné metódy
2021 2022 2023
Navrhnúť zmenu
- Titul
- Isabelle, HOL
- Jazyk
- anglicky
- Autori
- Tobias Nipkow
- Vydavateľ
- Springer
- Rok vydania
- 2002
- ISBN10
- 3540433767
- ISBN13
- 9783540433767
- Séria
- Lecture notes in computer science
- Kategórie
- Počítače, IT, programovanie