Proof Assistants and Their Applications in Mathematics and Computer Science (Computer Science Foundations and Applied Logic)
Springer
Pages: 400, Hardcover, Springer
Compare prices (1 shop)
| shop | Price | Action |
|---|---|---|
|
57,65 GBP | Go to shop |