Kniha momentálne nie je na sklade
Nákup knihy
A tactic based inductive theorem prover for data types with partial operations, Ulrich Kühler
- Jazyk
- Rok vydania
- 2000
Akonáhle sa objaví, pošleme e-mail.
Doručenie
Platobné metódy
Nikto zatiaľ neohodnotil.