✦ Verified product

Programs, Recursion and Unbounded Choice: Predicate-Transformation Semantics and Transformation Rules

CAD 25.00
Title
Attic Books Verified independent store
Select options