Mathematik - Kozen, Dexter [Hrsg.]: Logics of Programs : Workshop, Yorktown Heights, New York, May 1981. ed. by Dexter Kozen, Lecture notes in computer science , 131 Berlin [West] , Heidelberg , New York : Springer, 1982.

Die Antiquariatsbuchplattform von

Sie haben keine Artikel im Warenkorb.

Artikelbeschreibung

Mathematik - Kozen, Dexter [Hrsg.]:
Logics of Programs : Workshop, Yorktown Heights, New York, May 1981. ed. by Dexter Kozen, Lecture notes in computer science , 131
Berlin [West] , Heidelberg , New York : Springer, 1982.

gefunden im Sachgebiet: Mathematik

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

Literaturangaben, sehr guter Zustand

[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 68 mal aufgerufen

Ihre zuletzt aufgerufenen Angebote

• Mathematik - Kozen, Dexter [Hrsg.]: Logics of Programs : Workshop, Yorktown Heights, New York, May 1 ...

Sparen Sie Versandkosten beim Kauf ähnlicher Angebote dieses Anbieters

Mathematik - Liebling, Th. M.,
Graphentheorie in Planungs- und Tourenproblemen am Beispiel des städtischen Straßendienstes. (LNORME, vol.21). 130 Berlin, 1970

EUR 15,00
Details zum Buch...

Mathematik - Arthurs, A. M.
Complementary Variational Principles

EUR 20,45
Details zum Buch...

Mathematik - Hailpern, Brent T.:
Verifying Concurrent Processes Using Temporal Logic. Lecture notes in computer science , 129

EUR 24,00
Details zum Buch...

Mathematik - Ohne Autor
Wissenschaftliche Tabellen Geigy 1, 2, 3 und 4 Logarithmen, Zahlentafeln zur Statistik , Mathematische Symbole , Definitionen und Formeln , Einführung in die Statistik 8. Aufl.

EUR 30,00
Details zum Buch...

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