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 79 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 - von Weiss, Alexander
Übersicht über die theoretische Elektrotechnik Band 1 und 2 1.Teil<. die Physikalisch -Mathematischen, Grundlagen 2.Teil: Ausgewählte Kapitel und Aufgaben 2.Aufl. 2 Bände

EUR 20,00
Details zum Buch...

Mathematik - Branquart, Paul [Mitarb.]:
An optimized translation process and its application to ALGOL 68. P. Branquart ..., Lecture notes in computer science , 38

EUR 15,00
Details zum Buch...

Mathematik - Albach, Horst [Hrsg.]:
Production theory and its applications : proceedings of a workshop. ed. by H. Albach and G. Bergendahl, Lecture notes in economics and mathematical systems , 139

EUR 18,00
Details zum Buch...

Mathematik - Dynkin, E. B. und A. A. Juschkewitsch
Sätze und Aufgaben über Markoffsche Prozesse Aus dem Russischen übersetzt von K. Schürger Heidelberger Taschenbücher Band 51

EUR 16,00
Details zum Buch...

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