Logic based program synthesis transformation

Logic Based Program Synthesis and Transformation: 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001 Selected Papers

Pettorossi, Alberto

Sprache: Englisch

Verlag: Springer-Verlag, New York 2002

3540439153 / 9783540439158

Hardcover

Anbieter: Doss-Haus Books, Redondo Beach, CA, USADoss-Haus Books

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Gebraucht - Gut

EUR 20,18

EUR 4,79 Versand

Versand innerhalb von USA

Anzahl: 1 verfügbar

Hardcover. Zustand: Very Good. No Jacket. Hardcover 2002 library bound edition. Ex-library book with stamps and labels attached. Binding firm. Pages unmarked and clean. Laminated covers and text in very good condition. Lecture Notes in Computer Science ;2372. [viii, 265 p. : fig. ; 24 cm].

Logic based program synthesis and transformation : 13th international workshop ; revised selected papers. (=Lecture notes in computer science ; Vol. 3018).

Bruynooghe, Maurice (Ed.):

Sprache: Englisch

Verlag: Berlin etc. : Springer 2004

3540221743 / 9783540221746

Softcover

Anbieter: Antiquariat Thomas Haker GmbH & Co. KG, Berlin, DeutschlandAntiquariat Thomas Haker GmbH & Co. KG

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Gebraucht - Sehr gut

EUR 10,80

EUR 15,00 Versand

Versand von Deutschland nach USA

Anzahl: 1 verfügbar

Softcover/Paperback. Zustand: Sehr gut. X, 232 S. : ill. ; 24 cm. Sehr guter Zustand. In Folie verschweißt. Very good. Shrink wrapped. Sprache: Englisch Gewicht in Gramm: 430.

Logic Based Program Synthesis and Transformation: 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers

Kung-Kiu, Lau (Ed.)

Sprache: Englisch

Verlag: Springer-Verlag, Berlin 2001

3540421270 / 9783540421276

Softcover

Anbieter: PsychoBabel & Skoob Books, Didcot, Vereinigtes KönigreichPsychoBabel & Skoob Books

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Gebraucht - Gut

EUR 21,93

EUR 14,41 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 1 verfügbar

Paperback. Zustand: Very Good. Paperback. Lecture Notes in Computer Science, No. 2042. Barely noticeable shelfwear on covers. Edges and spine ends are very lightly worn. Contents in excellent condition. BW. Used.

Logic-Based Program Synthesis and Transformation

Sprache: Englisch

Verlag: Springer 2008

3540787682 / 9783540787686

Softcover

Anbieter: Majestic Books, Hounslow, , Vereinigtes KönigreichMajestic Books

Verkäufer/-in mit 4 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 30,65

EUR 7,49 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 4 verfügbar

Zustand: New. pp. 234 Illus.

LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (PB)

Sprache: Englisch

Verlag: Springer 2008

3540787682 / 9783540787686

Softcover

Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USARomtrade Corp.

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 49,34

Versand nach gratis

Versand innerhalb von USA

Anzahl: 1 verfügbar

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Logic Based Program Synthesis and Transformation: 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers

Sprache: Englisch

Verlag: Springer 2014

3662175088 / 9783662175088

Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 54,25

EUR 13,81 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New. In.

Logic-Based Program Synthesis and Transformation: 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected ... Computer Science and General Issues)

Sprache: Englisch

Verlag: Springer 2014

3319141244 / 9783319141244

Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 54,25

EUR 13,81 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New. In.

Logic-Based Program Synthesis and Transformation: 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected ... Computer Science and General Issues)

Sprache: Englisch

Verlag: Springer 2013

3642381960 / 9783642381966

Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 56,68

EUR 13,81 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New. In.

Logic-Based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers (Lecture Notes in Computer Science, 7225)

Sprache: Englisch

Verlag: Springer 2012

3642322107 / 9783642322105

Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 56,68

EUR 13,81 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New. In.

Logic-Based Program Synthesis and Transformation: 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected ... Computer Science and General Issues)

Sprache: Englisch

Verlag: Springer 2018

3319944592 / 9783319944593

Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 60,33

EUR 13,81 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New. In.

Logic-Based Program Synthesis and Transformation: 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected ... Computer Science and General Issues)

Sprache: Englisch

Verlag: Springer 2017

3319631381 / 9783319631387

Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 60,33

EUR 13,81 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New. In.

Logic Based Program Synthesis and Transformation: 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers (Lecture Notes in Computer Science, 3573)

Sprache: Englisch

Verlag: Springer 2005

3540266550 / 9783540266556

Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 60,33

EUR 13,81 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New. In.