Harel, David - First-order dynamic logic. Lecture notes in computer scienceSpringer 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 EUR 8.00 [Appr.: US$ 9.42 | £UK 7 | JP¥ 1376] Book number 16928We regret that this particular copy is temporarily not available. You may try to find another copy by using the search function. Apologies for the inconvenience! |
Do you want to see
- more titles like this one?