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 March 13, 2015

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

View this seller's items


Used - Soft cover

Price: US$ 9.55 Convert Currency
US$ 19.70 shipping from Germany to U.S.A. Destination, rates & speeds

Quantity: 1 available

Add to basket