The Logical Basis for Computer Programming. Volume II: Deductive Systems (Addison-Wesley Series in Computer Science)
Manna, Zohar; Waldinger, Richard; Manna, Johar
Sold by BooksRun, Philadelphia, PA, U.S.A.
AbeBooks Seller since February 2, 2016
Used - Hardcover
Condition: Used - Good
Ships within U.S.A.
Quantity: 1 available
Add to basket