Title: Business Law Monographs (38 Volume Set) / Edition 4, Author: Stephen F. Black
Title: Adapting Proofs-as-Programs: The Curry--Howard Protocol / Edition 1, Author: Iman Poernomo
Explore Series
Hardcover $111.20 $199.00 Current price is $111.20, Original price is $199.00.
Title: Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement / Edition 1, Author: Manfred Broy
Explore Series
Hardcover $79.20 $99.00 Current price is $79.20, Original price is $99.00.