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 82 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 - Overmars, Mark H.:
The design of dynamic data structures. Lecture notes in computer science , 156

EUR 10,00
Details zum Buch...

Mathematik / Zeitschrift - Ohne Autor:
Commentarii Mathematici Helvetici Vol 4 / 5

EUR 55,00
Details zum Buch...

Mathematik - Sprecher, Arno:
Resource constrained project scheduling : exact methods for the multi-mode case. Lecture notes in economics and mathematical systems

EUR 17,00
Details zum Buch...

Mathematik - Lieberstein, H. Melvin
Theory of Partial Differential Equations 1. Auflage (Mathematics in Science and Engineering, Volume 93)

EUR 30,00
Details zum Buch...

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