Knihu momentálně nemáme skladem
Nákup knihy
Automated theorem proving in software engineering, Johann M. Ph. Schumann
- Jazyk
- Rok vydání
- 2001
Jakmile ji vyčmucháme, pošleme vám e-mail.
Doručení
Platební metody
2021 2022 2023
Navrhnout úpravu
- Titul
- Automated theorem proving in software engineering
- Jazyk
- anglicky
- Autoři
- Johann M. Ph. Schumann
- Vydavatel
- Springer
- Rok vydání
- 2001
- ISBN10
- 3540679898
- ISBN13
- 9783540679899
- Kategorie
- Počítače, IT, programování