Von dem Buch Logic-Based Program Synthesis and Transformation haben wir 2 gleiche oder sehr ähnliche Ausgaben identifiziert!

Falls Sie nur an einem bestimmten Exempar interessiert sind, können Sie aus der folgenden Liste jenes wählen, an dem Sie interessiert sind:

Logic-Based Program Synthesis and Transformation100%: Springer Berlin Heidelberg: Logic-Based Program Synthesis and Transformation (ISBN: 9783540714101) 2006, in Englisch, auch als eBook.
Nur diese Ausgabe anzeigen…
Logic-based Program Synthesis and Transformation: 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers . Computer Science and General Issues)78%: Sous la direction de: German Puebla: Logic-based Program Synthesis and Transformation: 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers . Computer Science and General Issues) (ISBN: 9783540714095) 2007, in Deutsch, Taschenbuch.
Nur diese Ausgabe anzeigen…

Logic-Based Program Synthesis and Transformation - 12 Angebote vergleichen

Preise201520192023
Schnitt 68,01 60,52 40,03
Nachfrage
Bester Preis: 2,17 (vom 31.07.2023)
1
9783540714101 - German Puebla: Logic-Based Program Synthesis and Transformation - 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers
German Puebla

Logic-Based Program Synthesis and Transformation - 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers (2006)

Lieferung erfolgt aus/von: Deutschland ~EN NW EB DL

ISBN: 9783540714101 bzw. 3540714103, vermutlich in Englisch, Springer Berlin Heidelberg, neu, E-Book, elektronischer Download.

Lieferung aus: Deutschland, Versandkostenfrei.
Logic-Based Program Synthesis and Transformation: This book constitutes the thoroughly refereed postproceedings of the 16th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2006, held in Venice, Italy, July 2006 in conjunction with ICALP 2006, PPDP 2006, and CSFW 2006. The 14 revised full papers cover tools for program development, partial evaluation and program transformation, security and synthesis, debugging and testing, as well as termination and analysis. Englisch, Ebook.
2
9783540714101 - Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation (2006)

Lieferung erfolgt aus/von: Deutschland DE NW EB

ISBN: 9783540714101 bzw. 3540714103, in Deutsch, Springer-Verlag GmbH, neu, E-Book.

Lieferung aus: Deutschland, Versandkostenfrei, In stock (Download).
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
3
9783540714101 - Springer Berlin Heidelberg: Logic-Based Program Synthesis and Transformation
Springer Berlin Heidelberg

Logic-Based Program Synthesis and Transformation

Lieferung erfolgt aus/von: Deutschland DE NW

ISBN: 9783540714101 bzw. 3540714103, in Deutsch, Springer Berlin Heidelberg, neu.

67,82
unverbindlich
Lieferung aus: Deutschland, zzgl. Versandkosten, Sofort per Download lieferbar.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
4
9783540714101 - Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation (2006)

Lieferung erfolgt aus/von: Deutschland DE NW EB

ISBN: 9783540714101 bzw. 3540714103, in Deutsch, Springer-Verlag GmbH, Springer-Verlag GmbH, neu, E-Book.

Lieferung aus: Deutschland, Versandkostenfrei, in stock.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
5
9783540714101 - Logic-based Program Synthesis And Transformation

Logic-based Program Synthesis And Transformation

Lieferung erfolgt aus/von: Vereinigte Staaten von Amerika EN

ISBN: 9783540714101 bzw. 3540714103, in Englisch, Vitalsource Technologies, Inc.

49,83 ($ 54,99)¹
unverbindlich
Lieferung aus: Vereinigte Staaten von Amerika, Lagernd.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
6
9783540714095 - Logic-Based Program Synthesis and Transformation: 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers . Computer Science and General Issues)

Logic-Based Program Synthesis and Transformation: 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers . Computer Science and General Issues)

Lieferung erfolgt aus/von: Vereinigte Staaten von Amerika DE PB NW

ISBN: 9783540714095 bzw. 354071409X, in Deutsch, Springer, Berlin/Heidelberg, Deutschland, Taschenbuch, neu.

38,24 + Versand: 5,14 = 43,38
unverbindlich
Von Händler/Antiquariat, Textbooks Den [59161808], Oakland, CA, U.S.A.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
7
9783540714095 - Logic-Based Program Synthesis and Transformation: 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers . Computer Science and General Issues)

Logic-Based Program Synthesis and Transformation: 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers . Computer Science and General Issues)

Lieferung erfolgt aus/von: Vereinigte Staaten von Amerika DE PB US

ISBN: 9783540714095 bzw. 354071409X, in Deutsch, Springer, Berlin/Heidelberg, Deutschland, Taschenbuch, gebraucht.

40,73 + Versand: 3,31 = 44,04
unverbindlich
Von Händler/Antiquariat, Crashing Rocks Books [55397785], Punta Gorda, FL, U.S.A.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
8
9783540714095 - Germán Puebla: Logic-Based Program Synthesis and Transformation
Germán Puebla

Logic-Based Program Synthesis and Transformation (2007)

Lieferung erfolgt aus/von: Deutschland DE PB NW

ISBN: 9783540714095 bzw. 354071409X, in Deutsch, Springer-Verlag Gmbh Mrz 2007, Taschenbuch, neu.

69,54 + Versand: 15,50 = 85,04
unverbindlich
Von Händler/Antiquariat, AHA-BUCH GmbH [51283250], Einbeck, NDS, Germany.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
9
9783540714095 - Germán Puebla: Logic-Based Program Synthesis and Transformation
Symbolbild
Germán Puebla

Logic-Based Program Synthesis and Transformation

Lieferung erfolgt aus/von: Deutschland DE PB NW

ISBN: 9783540714095 bzw. 354071409X, in Deutsch, Springer-Verlag GmbH, Taschenbuch, neu.

Lieferung aus: Deutschland, Versandkostenfrei.
Rhein-Team Lörrach, [3332481].
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
10
9783540714095 - Germán Puebla: Logic-Based Program Synthesis and Transformation
Symbolbild
Germán Puebla

Logic-Based Program Synthesis and Transformation

Lieferung erfolgt aus/von: Deutschland DE PB NW

ISBN: 9783540714095 bzw. 354071409X, in Deutsch, Springer-Verlag GmbH, Taschenbuch, neu.

Lieferung aus: Deutschland, Versandkostenfrei.
buchZ AG, [3859792].
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Lade…