Proof Assistants and Their Applications in Mathematics and Computer Science (Computer Science Foundations and Applied Logic)
Springer
Pages: 400, Hardcover, Springer
No offers available for this product at the moment.
Springer
Pages: 400, Hardcover, Springer
No offers available for this product at the moment.