- 5 Ergebnisse
Kleinster Preis: € 50,28, größter Preis: € 89,99, Mittelwert: € 62,51
1
Bestellen
bei ebooks.com
€ 89,99
Bestellengesponserter Link
50-99.99:

Logic-Based Program Synthesis and Transformation - neues Buch

2010, ISBN: 9783642205514

This book constitutes the thoroughly refereed post-proceedings of the 20th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2010, held in Hagenberg, Aus… Mehr…

new in stock. Versandkosten:zzgl. Versandkosten.
2
Logic-Based Program Synthesis and Transformation - María Alpuente
Bestellen
bei Springer.com
€ 50,28
Versand: € 0,001
Bestellengesponserter Link

María Alpuente:

Logic-Based Program Synthesis and Transformation - neues Buch

2010, ISBN: 9783642205514

This book constitutes the thoroughly refereed post-proceedings of the 20th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2010, held in Hagenberg, Aus… Mehr…

new in stock. Versandkosten:zzgl. Versandkosten. (EUR 0.00)
3
Logic-Based Program Synthesis and Transformation - María Alpuente
Bestellen
bei Springer.com
€ 51,16
Bestellengesponserter Link
María Alpuente:
Logic-Based Program Synthesis and Transformation - neues Buch

2010

ISBN: 9783642205514

This book constitutes the thoroughly refereed post-proceedings of the 20th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2010, held in Hagenberg, Aus… Mehr…

new in stock. Versandkosten:zzgl. Versandkosten.
4
Bestellen
bei lehmanns.de
€ 62,33
Versand: € 0,001
Bestellengesponserter Link
Maria Alpuente:
Logic-Based Program Synthesis and Transformation - neues Buch

2011, ISBN: 9783642205514

20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers, eBooks, eBook Download (PDF), [PU: Springer Berlin Heidelberg], Springer Berlin H… Mehr…

Versandkosten:Download sofort lieferbar. (EUR 0.00)
5
Bestellen
bei lehmanns.de
€ 58,79
Versand: € 0,001
Bestellengesponserter Link
Maria Alpuente:
Logic-Based Program Synthesis and Transformation - neues Buch

2011, ISBN: 9783642205514

20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers, eBook Download (PDF), eBooks, [PU: Springer Berlin Heidelberg]

Versandkosten:Download sofort lieferbar, , Versandkostenfrei innerhalb der BRD. (EUR 0.00)

1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch

Detailangaben zum Buch - Logic-Based Program Synthesis and Transformation


EAN (ISBN-13): 9783642205514
Erscheinungsjahr: 2010
Herausgeber: Springer Berlin Heidelberg

Buch in der Datenbank seit 2017-04-14T15:59:02+02:00 (Vienna)
Detailseite zuletzt geändert am 2021-10-11T14:55:43+02:00 (Vienna)
ISBN/EAN: 9783642205514

ISBN - alternative Schreibweisen:
978-3-642-20551-4
Alternative Schreibweisen und verwandte Suchbegriffe:
Titel des Buches: synthesis, austria international, transformation


Daten vom Verlag:

Autor/in: María Alpuente
Titel: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Logic-Based Program Synthesis and Transformation - 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers
Verlag: Springer; Springer Berlin
249 Seiten
Erscheinungsjahr: 2011-04-21
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
X, 249 p.

EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Software Engineering; Verstehen; Formal Methods; Partial Evaluation; Programming languages; Systems Modelling; Type Systems; C; Software Engineering; Programming Techniques; Computer Science Logic and Foundations of Programming; Artificial Intelligence; Algorithms; Computer Science; Computerprogrammierung und Softwareentwicklung; Theoretische Informatik; Künstliche Intelligenz; Algorithmen und Datenstrukturen; BC

up-to-date results fast track conference proceedings state-of-the-art report

< zum Archiv...