Mathematik - Clarke, Edmund [Hrsg.]: Logics of programs : workshop, Carnegie Mellon University Pittsburgh, PA, June 6-8, 1983. ed. by Edmund Clarke and Dexter Kozen, Lecture notes in computer science Berlin [West] , Heidelberg [u.a.] : Springer, 1984.

Die Antiquariatsbuchplattform von

Sie haben keine Artikel im Warenkorb.

Artikelbeschreibung

Mathematik - Clarke, Edmund [Hrsg.]:
Logics of programs : workshop, Carnegie Mellon University Pittsburgh, PA, June 6-8, 1983. ed. by Edmund Clarke and Dexter Kozen, Lecture notes in computer science
Berlin [West] , Heidelberg [u.a.] : Springer, 1984.
ISBN/EAN: 9783540128960

gefunden im Sachgebiet: Mathematik

VI, 527 S. : graph. Darst. , 24 cm

Literaturangaben

[SW: Programmierung (Datenverarbeitung) , Mathematische Logik]
Programmierung, (Datenverarbeitung), Mathematische, Logik

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

In den Warenkorb

Dieses Angebot wurde bereits 43 mal aufgerufen

Ihre zuletzt aufgerufenen Angebote

• Mathematik - Clarke, Edmund [Hrsg.]: Logics of programs : workshop, Carnegie Mellon University Pitts ...

Sparen Sie Versandkosten beim Kauf ähnlicher Angebote dieses Anbieters

Mathematik - Tietze, Heinrich
Gelöste und ungelöste mathematische Probleme. Vierzehn Vorlesungen für LAIEN UND FREUNDE DER MATHEMATIK

EUR 30,00
Details zum Buch...

Mathematik - Bauer, Friedrich L. [Hrsg.]:
Language hierarchies and interfaces : internat. summer school. ed. by F. L. Bauer and K. Samelson, Lecture notes in computer science , 46

EUR 50,00
Details zum Buch...

Mathematik - Thadden, Leopold von:
Money, inflation, and capital formation : an analysis of the long run from the perspective of overlapping generations models. Lecture notes in economics and mathematical systems

EUR 26,00
Details zum Buch...

Mathematik - Beckmann, M:
Lecture Notes in Operations Research and Mathematical Economics 14: Computing Methods in Optimization Problems

EUR 10,00
Details zum Buch...

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