✦ Verified product
Programs, Recursion and Unbounded Choice: Predicate-Transformation Semantics and Transformation Rules
CAD 25.00
Title
Attic Books
Verified independent store
→