Bruynooghe, Maurice (Ed.): Logic based program synthesis and transformation : 13th international workshop ; revised selected papers. (=Lecture notes in computer science ; Vol. 3018). Berlin etc. : Springer, 2004.

Die Antiquariatsbuchplattform von

Sie haben keine Artikel im Warenkorb.

Artikelbeschreibung

Bruynooghe, Maurice (Ed.):
Logic based program synthesis and transformation : 13th international workshop ; revised selected papers. (=Lecture notes in computer science ; Vol. 3018).
Berlin etc. : Springer, 2004.
ISBN/EAN: 9783540221746

gefunden im Sachgebiet: Informatik, Hardware, Software

X, 232 S. : ill. ; 24 cm. Softcover/Paperback.

Sehr guter Zustand. In Folie verschweißt. Very good. Shrink wrapped.

[SW: Logische Programmierung ; Programmsynthese ; Kongress ; Uppsala ; Logische Programmierung ; Programmtransformation ; Kongress ; Uppsala ; Computational logic ; Kongress ; Uppsala, Informatik]
Logische, Programmierung, Programmsynthese, Kongress, Uppsala, Logische, Programmierung, Programmtransformation, Kongress, Uppsala, Computational, logic, Kongress, Uppsala, Informatik

EUR21,30
inkl. MwSt. zzgl. Versand: EUR 0,00
Lieferzeit: 1 - 7 Werktage

In den Warenkorb

Dieses Angebot wurde bereits 33 mal aufgerufen

Ihre zuletzt aufgerufenen Angebote

• Bruynooghe, Maurice (Ed.): Logic based program synthesis and transformation : 13th international wo ...
• Rosa, J.G./May, Robin Feuerwaffen in Farbe
• MOKRUSCH, THOMAS. Lord Driver und McGolfs. Das (fast) wahre Leben am Golfplatz von St. Elsewhere. S ...

Sparen Sie Versandkosten beim Kauf ähnlicher Angebote dieses Anbieters

Petri, Christian:
Externe Integration der Datenverarbeitung : Unternehmensübergreifende Konzepte für Handelsunternehmen. Betriebs- und Wirtschaftsinformatik ; Bd. 38.

EUR 12,10
Details zum Buch...

Messmer, Harald:
TRICAD MS: Grundlagen und Anwendungen anhand der Module Lüftung 2D und 3D. Lehrbuch.

EUR 30,50
Details zum Buch...

Grieser, Franz:
Das PocketPC 2002 Buch. Mobile Computing mit dem PDA.

EUR 4,80
Details zum Buch...

Wall, Dieter (Hrsg.):
Organisation und Betrieb von DV-Versorgungssystemen : Vorträge der 11. GI-Fachtagung über Rechenzentren am 30. November und 1. Dezember 1995 in Göttingen. (=DUV : Informatik).

EUR 7,20
Details zum Buch...

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