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 76 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 - Wallach, Yehuda:
Alternating Sequential/Parallel Processing. Y. Wallach, Lecture notes in computer science , 127

EUR 12,00
Details zum Buch...

Mathematik - Pardalos, Panos M.
Network optimization. (ed.), Lecture notes in economics and mathematical systems

EUR 38,00
Details zum Buch...

Mathematik - Ziegler, Alexandre:
A game theory analysis of options : contributions to the theory of financial intermediation in continuous time. Lecture notes in economics and mathematical systems

EUR 25,00
Details zum Buch...

Mathematik - Davidson, Martin
Elements of Mathematical Astronomy Second Edition

EUR 10,00
Details zum Buch...

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