Program Correctness Over Abstract Data Types, With Error State Semantics CWI Monographs, Centrum voor Wiskunde en Informatica, Vol 6
Tucker, J.V., and Zucker, J.I.
Sold by Antiquariaat Ovidius, Bredevoort, Netherlands
AbeBooks Seller since July 5, 2012
Used - Hardcover
Condition: Gebraucht / Used
Ships from Netherlands to U.S.A.
Quantity: 1 available
Add to basket