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 65 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

Mathematik - Zenner, Markus:
Learning to become rational : the case of self-referential autoregressive and non-stationary models. Lecture notes in economics and mathematical systems

EUR 40,00
Details zum Buch...

Mathematik - Ciba- Geigy
Mathematik Logarithmen ,Zahlentafeln zur Statistik ,Mathematische Symbole ,Definitionen und Formeln Einführung in die Statistik Bd 3

EUR 20,00
Details zum Buch...

Mathematik - Mosler, Karl C.:
Optimale Transportnetze : zur Bestimmung ihres kostengünstigsten Standorts bei gegebener Nachfrage. Lecture notes in economics and mathematical systems , 125

EUR 18,00
Details zum Buch...

Mathematik - Beth, Thomas [Hrsg.]:
Cryptography : proceedings of the Workshop on Cryptography, Burg Feuerstein, Germany, March 29 - April 2, 1982. ed. by T. Beth, Lecture notes in computer science , 149

EUR 30,00
Details zum Buch...

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