Product: Interactive Theorem Proving and Program Development
Brand: Springer
Used Book in Good Condition

Search query: coqs
Relevance: Irrelevant