D. Harel Harel First-Order Dynamic Logic

First-Order Dynamic Logic

von D. Harel

Preis unbekannt

Buch in deiner Nähe kaufen


...oder deine aktuelle Postleitzahl eingeben:
oder

Beschreibung

Autor*in

D. Harel

Themen in »First-Order Dynamic Logic«

Modale Logik Programmiersprache Programmierung computation logic programming language semantics

Stimmen zu »First-Order Dynamic Logic«

Details

ISBN: 9783540353461
Verlag: Springer Berlin
Erscheinung: 17.09.2005

Link teilen

Über buchnah.de | Die Buchhandlungen | Die Verlage | Impressum & Kontakt | Datenschutz | Presse


Auf dieser Seite kannst Du Buchhandlungen in der Nähe finden