The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

Proof Assistants and Their Applications in Mathematics and Computer Science (Computer Science Foundations and Applied Logic)

Proof Assistants and Their Applications in Mathematics and Computer Science (Computer Science Foundations and Applied Logic)

by N/A

$74.02

Quantity

Temporarily out of stock

More Information

Format: hardcover
 Publisher: Springer
Published:
ISBN 10: 3031851897
ISBN 13: 9783031851896