Author: Harel, David Title: First-order dynamic logic. Lecture notes in computer science
Description: Springer Berlin 1979. Format groß 8°, broschiert, größerer weißer Fleck auf dem Einband v133 Seiten, on entfernter Rückensignatur, dies ist ein regulär ausgesondertes Bibliotheksexemplar aus einer wissenschaftlichen Bibliothek, keine Markierungen / Anmerkungen
Keywords:
Price: EUR 8.00 = appr. US$ 8.69 Seller: Antiquariat Thomas & Reinhard
- Book number: 16928
See more books from our catalog:
Informatik EDV