Logics of Programs. Proceedings 1983. ( = Lecture Notes in Computer Science, 164) .
Clarke, E. and D. ( Ed. ) Kozen:
Sold by ralfs-buecherkiste, Herzfelde, MOL, Germany
AbeBooks Seller since March 9, 2009
Used - Soft cover
Condition: Used - As new
Ships from Germany to U.S.A.
Quantity: 1 available
Add to basket