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 70 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 - Autorenkollektiv
Mathematik Band III für Ingenieur- u. Fachschulen Lehr-und Übungsbuch Analytische Geometrie, Vektorrechnung und Infinitesimalrechnungen 6.Aufl. Band III

EUR 26,00
Details zum Buch...

Mathematik - Börger, Egon [Hrsg.]:
Logic and machines, decision problems and complexity : proceedings of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Inst. für Mathemat. Logik u. Grundlagenforschung d. Univ. Münster. Westfalen / ed. by E. Börger, G. Hasenjaeger and D. Rödding, Lecture notes in computer science , 171

EUR 23,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 - Boer, Paul M. C. de:
Price effects in input-output relations : a theoret. and empir. study for the Netherlands 1949-1967. Lecture notes in economics and mathematical systems , 201

EUR 12,00
Details zum Buch...

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