First-order dynamic logic. Lecture notes in computer science
Harel, David
Published by Springer Berlin 1979
Condition: Used
Soft cover
Sold by Antiquariat Thomas & Reinhard, Recklinghausen, NRW, Germany
AbeBooks Seller since 13 March 2015
Seller rating 5 out of 5 stars
Used - Soft cover
Price:
£ 7.19
Convert Currency
£ 14.84
shipping from Germany to United Kingdom
Destination, rates & speeds
Quantity: 1 available
Add to basket
