6th LOPSTR96 Sweden August 28 30 Proceedings 1207 - 7 Angebote vergleichen
Preise | 2012 | 2013 | 2014 | 2015 | 2019 |
---|---|---|---|---|---|
Schnitt | € 57,60 | € 45,21 | € 49,43 | € 23,82 | € 33,98 |
Nachfrage |
1
Logic Program Synthesis and Transformation
DE PB NW
ISBN: 9783540627180 bzw. 3540627189, in Deutsch, Springer, Berlin, Taschenbuch, neu.
Lieferung aus: Deutschland, Versandkostenfrei.
buecher.de GmbH & Co. KG, [1].
This book constitutes the strictly refereed post-workshop proceedings of the Sixth International Workshop on Logic Program Synthesis and Transformation, LOPSTR'96, held on board a ship sailing from Stockholm to Helsinki, in August 1996. The 17 revised full papers were carefully selected from a total of initially 27 submissions. The topics covered range over the areas of synthesis of programs from specifications, verification, transformation, specialization, and analysis of programs, and the use of program schemata in program development.ix, 331 S. IX, 331 p.Versandfertig in 3-5 Tagen, Softcover.
buecher.de GmbH & Co. KG, [1].
This book constitutes the strictly refereed post-workshop proceedings of the Sixth International Workshop on Logic Program Synthesis and Transformation, LOPSTR'96, held on board a ship sailing from Stockholm to Helsinki, in August 1996. The 17 revised full papers were carefully selected from a total of initially 27 submissions. The topics covered range over the areas of synthesis of programs from specifications, verification, transformation, specialization, and analysis of programs, and the use of program schemata in program development.ix, 331 S. IX, 331 p.Versandfertig in 3-5 Tagen, Softcover.
2
Logic Program Synthesis and Transformation (1996)
~EN PB NW
ISBN: 9783540627180 bzw. 3540627189, vermutlich in Englisch, Springer, Berlin, Taschenbuch, neu.
Lieferung aus: Deutschland, Gratis verzending.
Von Händler/Antiquariat, buecher.de GmbH & Co. KG, [1].
This book constitutes the strictly refereed post-workshop proceedings of the Sixth International Workshop on Logic Program Synthesis and Transformation, LOPSTR'96, held on board a ship sailing from Stockholm to Helsinki, in August 1996.The 17 revised full papers were carefully selected from a total of initially 27 submissions. The topics covered range over the areas of synthesis of programs from specifications, verification, transformation, specialization, and analysis of programs, and the use of program schemata in program development. ix, 331 S. IX, 331 p. Versandfertig in 6-10 Tagen, Softcover, Neuware, offene Rechnung (Vorkasse vorbehalten).
Von Händler/Antiquariat, buecher.de GmbH & Co. KG, [1].
This book constitutes the strictly refereed post-workshop proceedings of the Sixth International Workshop on Logic Program Synthesis and Transformation, LOPSTR'96, held on board a ship sailing from Stockholm to Helsinki, in August 1996.The 17 revised full papers were carefully selected from a total of initially 27 submissions. The topics covered range over the areas of synthesis of programs from specifications, verification, transformation, specialization, and analysis of programs, and the use of program schemata in program development. ix, 331 S. IX, 331 p. Versandfertig in 6-10 Tagen, Softcover, Neuware, offene Rechnung (Vorkasse vorbehalten).
3
Logic Program Synthesis and Transformation (1996)
~EN PB NW
ISBN: 9783540627180 bzw. 3540627189, vermutlich in Englisch, Springer, Berlin, Taschenbuch, neu.
Lieferung aus: Deutschland, Gratis verzending.
Von Händler/Antiquariat, buecher.de GmbH & Co. KG, [1].
This book constitutes the strictly refereed post-workshop proceedings of the Sixth International Workshop on Logic Program Synthesis and Transformation, LOPSTR'96, held on board a ship sailing from Stockholm to Helsinki, in August 1996.The 17 revised full papers were carefully selected from a total of initially 27 submissions. The topics covered range over the areas of synthesis of programs from specifications, verification, transformation, specialization, and analysis of programs, and the use of program schemata in program development. ix, 331 S. IX, 331 p. Versandfertig in 6-10 Tagen, Softcover, Neuware, Offene Rechnung (Vorkasse vorbehalten).
Von Händler/Antiquariat, buecher.de GmbH & Co. KG, [1].
This book constitutes the strictly refereed post-workshop proceedings of the Sixth International Workshop on Logic Program Synthesis and Transformation, LOPSTR'96, held on board a ship sailing from Stockholm to Helsinki, in August 1996.The 17 revised full papers were carefully selected from a total of initially 27 submissions. The topics covered range over the areas of synthesis of programs from specifications, verification, transformation, specialization, and analysis of programs, and the use of program schemata in program development. ix, 331 S. IX, 331 p. Versandfertig in 6-10 Tagen, Softcover, Neuware, Offene Rechnung (Vorkasse vorbehalten).
4
Logic Program Synthesis and Transformation: 6th International Workshop, Lopstr'96, Stockholm, Sweden, August 28-30, 1996, Proceedings (2014)
DE PB NW
ISBN: 9783540627180 bzw. 3540627189, in Deutsch, SPRINGER VERLAG GMBH 01/08/2014, Taschenbuch, neu.
Von Händler/Antiquariat, Books2Anywhere [190245], Fairford, GLO, United Kingdom.
New Book. This item is printed on demand. Shipped from UK. This item is printed on demand.
New Book. This item is printed on demand. Shipped from UK. This item is printed on demand.
5
Logic Program Synthesis and Transformation: 6th International Workshop, Lopstr'96, Stockholm, Sweden, August 28-30, 1996, Proceedings (1996)
~EN US
ISBN: 9783540627180 bzw. 3540627189, vermutlich in Englisch, Springer, Berlin/Heidelberg, Deutschland, gebraucht.
Lieferung aus: Vereinigte Staaten von Amerika, Lagernd, zzgl. Versandkosten.
This book constitutes the strictly refereed post-workshop proceedings of the Sixth International Workshop on Logic Program Synthesis and Transformation, LOPSTR'96, held on board a ship sailing from Stockholm to Helsinki, in August 1996. The 17 revised full papers were carefully selected from a total of initially 27 submissions. The topics covered range over the areas of synthesis of programs from specifications, verification, transformation, specialization, and analysis of programs, and the use of program schemata in program development.
This book constitutes the strictly refereed post-workshop proceedings of the Sixth International Workshop on Logic Program Synthesis and Transformation, LOPSTR'96, held on board a ship sailing from Stockholm to Helsinki, in August 1996. The 17 revised full papers were carefully selected from a total of initially 27 submissions. The topics covered range over the areas of synthesis of programs from specifications, verification, transformation, specialization, and analysis of programs, and the use of program schemata in program development.
6
Logic Program Synthesis and Transformation: 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings (Lecture Notes in Computer Science 1207) (1996)
DE PB US
ISBN: 9783540627180 bzw. 3540627189, in Deutsch, Springer, Taschenbuch, gebraucht.
Von Händler/Antiquariat, Petra Gros [1048006], Koblenz, ., Germany.
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
7
Logic Program Synthesis and Transformation: 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings (Lecture Notes in Computer Science) (2008)
DE US
ISBN: 9783540627180 bzw. 3540627189, in Deutsch, Springer, gebraucht.
getbooks GmbH, [4040832].
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…