Logic-Based Program Synthesis and Transformation: 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected . Computer Science and General Issues)
6 Angebote vergleichen
Preise | 2013 | 2014 | 2015 | 2019 |
---|---|---|---|---|
Schnitt | Fr. 49.30 (€ 50.52)¹ | Fr. 54.20 (€ 55.53)¹ | Fr. 60.79 (€ 62.29)¹ | Fr. 48.03 (€ 49.22)¹ |
Nachfrage |
1
Symbolbild
Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected . Computer Science and General Issues
DE PB NW
ISBN: 9783642381966 bzw. 3642381960, in Deutsch, Springer, Taschenbuch, neu.
Von Händler/Antiquariat, BuySomeBooks [52360437], Las Vegas, NV, U.S.A.
Paperback. 256 pages. Dimensions: 9.2in. x 6.1in. x 0.6in.This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2012, held in Leuven, Belgium in September 2012. The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 27 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, applications and tools, programmodel manipulation, and transformation techniques for any programming language paradigm. This item ships from multiple locations. Your book may arrive from Roseburg,OR, La Vergne,TN.
Paperback. 256 pages. Dimensions: 9.2in. x 6.1in. x 0.6in.This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2012, held in Leuven, Belgium in September 2012. The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 27 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, applications and tools, programmodel manipulation, and transformation techniques for any programming language paradigm. This item ships from multiple locations. Your book may arrive from Roseburg,OR, La Vergne,TN.
2
Symbolbild
Logic-Based Program Synthesis and Transformation
DE PB NW
ISBN: 9783642381966 bzw. 3642381960, in Deutsch, Springer, Berlin, Taschenbuch, neu.
Lieferung aus: Deutschland, Versandkostenfrei.
buecher.de GmbH & Co. KG, [1].
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
buecher.de GmbH & Co. KG, [1].
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
3
Symbolbild
Logic-Based Program Synthesis and Transformation: 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected . Computer Science and General Issues)
DE NW
ISBN: 9783642381966 bzw. 3642381960, in Deutsch, Springer, neu.
Von Händler/Antiquariat, Firehouse Liquidation [53003159], Vancouver, WA, U.S.A.
Ships next business day! Brand New!
Ships next business day! Brand New!
4
Symbolbild
Logic-Based Program Synthesis and Transformation: 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected . Computer Science and General Issues)
DE PB NW
ISBN: 9783642381966 bzw. 3642381960, in Deutsch, Springer, Berlin/Heidelberg/New York, NY, Deutschland, Taschenbuch, neu.
Von Händler/Antiquariat, BuySomeBooks [52360437], Las Vegas, NV, U.S.A.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
5
Symbolbild
Logic-Based Program Synthesis and Transformation: 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected . Computer Science and General Issues)
DE PB NW
ISBN: 9783642381966 bzw. 3642381960, in Deutsch, Springer, Taschenbuch, neu.
Lieferung aus: Irland, Versandkostenfrei.
Von Händler/Antiquariat, Kennys Bookshop and Art Galleries Ltd. [756279], Galway, Ireland.
2013. 2013th Edition. Paperback. . . . . .
Von Händler/Antiquariat, Kennys Bookshop and Art Galleries Ltd. [756279], Galway, Ireland.
2013. 2013th Edition. Paperback. . . . . .
6
Logic-Based Program Synthesis and Transformation (2012)
~EN PB NW
ISBN: 9783642381966 bzw. 3642381960, vermutlich in Englisch, Springer Shop, Taschenbuch, neu.
Lieferung aus: Deutschland, Lagernd.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Lade…