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 59 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 - Achieser, Naum Iljitsch,:
Theory of approximation. , 307 S., OriginalleinenBibliotheksexemplar Lexikon bedeut.Math., S. 12. Achieser, Naum Iljitsch (1901-1980) seit 1940 Prof., 1928-1947 lehrte er an verschiedenen Hochschulen in Kiew, Charkow, Alma-Ata und Moskau, ab 1947 lehrte er an der Univ. in Charkow.

EUR 35,00
Details zum Buch...

Mathematik - Gelenbe, E. [Hrsg.]:
Operating systems : proceedings of an internat. symposium, held at Rocquencourt, April 23-25, 1974. ed. by E. Gelenbe and C. Kaiser, Lecture notes in computer science , 16

EUR 12,00
Details zum Buch...

Mathematik - Russell, Bertrand
Einführung in die mathematische Philosophie

EUR 25,00
Details zum Buch...

Bennett, Albert A., Milne, William E. und Bateman, Harry:
Numerical Integration of Differential Equations

EUR 11,25
Details zum Buch...

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