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