First-order dynamic logic. Lecture notes in computer science

Harel, David

Edité par Springer Berlin 1979

A propos de cet article

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. Shipping to abroad insured with tracking number.

N° de réf. du vendeur 16928

Détails bibliographiques

• Titre: First-order dynamic logic. Lecture notes in computer science
• Éditeur: Springer Berlin 1979
• Reliure: Couverture souple
• Catalogues du vendeur:
  • Informatik EDV