Kniha momentálne nie je na sklade
Parametre
Kategórie
Nákup knihy
Automated theorem proving in software engineering, Johann M. Ph. Schumann
- Jazyk
- Rok vydania
- 2001
Akonáhle sa objaví, pošleme vám e-mail.
Doručenie
Platobné metódy
Navrhnúť zmenu
- Titul
- Automated theorem proving in software engineering
- Jazyk
- anglicky
- Autori
- Johann M. Ph. Schumann
- Vydavateľ
- Springer
- Vydavateľ
- 2001
- ISBN10
- 3540679898
- ISBN13
- 9783540679899
- Kategórie
- Počítače, IT, programovanie