Mathematik - Harel, David: First-order dynamic logic. Lecture notes in computer science , 68 Berlin [West] , Heidelberg , New York : Springer, 1979.

Die Antiquariatsbuchplattform von

Sie haben keine Artikel im Warenkorb.

Artikelbeschreibung

Mathematik - Harel, David:
First-order dynamic logic. Lecture notes in computer science , 68
Berlin [West] , Heidelberg , New York : Springer, 1979.
ISBN/EAN: 9783540092377

gefunden im Sachgebiet: Mathematik

133 S. , 24 cm

Literaturverz. S. 127-133

[SW: Modalitätenlogik , Programmiersprachen , Programmierung (Datenverarbeitung)]
Modalitätenlogik, Programmiersprachen, Programmierung, (Datenverarbeitung)

EUR12,00
inkl. MwSt. zzgl. Versand: EUR 4,00
Lieferzeit: 1 - 5 Werktage

In den Warenkorb

Dieses Angebot wurde bereits 66 mal aufgerufen

Ihre zuletzt aufgerufenen Angebote

• Mathematik - Harel, David: First-order dynamic logic. Lecture notes in computer science , 68

Sparen Sie Versandkosten beim Kauf ähnlicher Angebote dieses Anbieters

Spiegel, Wurray R.:
Theory and Problems of Statistics including 875 solved Problems Schaum's Outline Series

EUR 10,23
Details zum Buch...

Mathematik - Russell, Bertrand
Einführung in die mathematische Philosophie

EUR 25,00
Details zum Buch...

Mathematik - Lang, Günther:
On overlapping generations models with productive capital. Lecture notes in economics and mathematical systems

EUR 20,00
Details zum Buch...

Mathematik - Marsal, D.
Skriptum I des Seminars Mathematische Grundlagen von Grosscomputermodellen in den Geowissenschaften gehalten von D. Marsal am 4.-8. März 1974 in Stuttgart

EUR 22,00
Details zum Buch...

FF-Nutzer: Kostenloses Such-Plugin für Antikbuch24 installieren
IE-Nutzer: Kostenloses Such-Plugin für Antikbuch24 installieren