Items related to Logic Program Synthesis and Transformation: 6th Internationa...

Logic Program Synthesis and Transformation: 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings: 1207 (Lecture Notes in Computer Science, 1207) - Softcover

 
9783540627180: Logic Program Synthesis and Transformation: 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings: 1207 (Lecture Notes in Computer Science, 1207)

Synopsis

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.

"synopsis" may belong to another edition of this title.

  • PublisherSpringer
  • Publication date1997
  • ISBN 10 3540627189
  • ISBN 13 9783540627180
  • BindingPaperback
  • LanguageEnglish
  • Number of pages340
  • EditorGallagher John

Search results for Logic Program Synthesis and Transformation: 6th Internationa...

Stock Image

Published by Springer, 1997
ISBN 10: 3540627189 ISBN 13: 9783540627180
New Softcover

Seller: Ria Christie Collections, Uxbridge, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. In. Seller Inventory # ria9783540627180_new

Contact seller

Buy New

£ 50.82
Convert currency
Shipping: FREE
Within United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Seller Image

John Gallagher
Published by Springer Berlin Heidelberg, 1997
ISBN 10: 3540627189 ISBN 13: 9783540627180
New Taschenbuch

Seller: AHA-BUCH GmbH, Einbeck, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Seller Inventory # 9783540627180

Contact seller

Buy New

£ 46.65
Convert currency
Shipping: £ 11.85
From Germany to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Seller Image

Gallagher, John
Published by Springer Berlin Heidelberg, 1997
ISBN 10: 3540627189 ISBN 13: 9783540627180
New Kartoniert / Broschiert
Print on Demand

Seller: moluna, Greven, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Kartoniert / Broschiert. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 fu. Seller Inventory # 4896059

Contact seller

Buy New

£ 42.19
Convert currency
Shipping: £ 21.16
From Germany to United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Gallagher, John
Published by Springer 1997-03, 1997
ISBN 10: 3540627189 ISBN 13: 9783540627180
New PF

Seller: Chiron Media, Wallingford, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

PF. Condition: New. Seller Inventory # 6666-IUK-9783540627180

Contact seller

Buy New

£ 64.52
Convert currency
Shipping: £ 2.49
Within United Kingdom
Destination, rates & speeds

Quantity: 10 available

Add to basket

Seller Image

John Gallagher
ISBN 10: 3540627189 ISBN 13: 9783540627180
New Taschenbuch
Print on Demand

Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 340 pp. Englisch. Seller Inventory # 9783540627180

Contact seller

Buy New

£ 65.32
Convert currency
Shipping: £ 9.31
From Germany to United Kingdom
Destination, rates & speeds

Quantity: 2 available

Add to basket

Seller Image

John Gallagher
ISBN 10: 3540627189 ISBN 13: 9783540627180
New Taschenbuch
Print on Demand

Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 340 pp. Englisch. Seller Inventory # 9783540627180

Contact seller

Buy New

£ 46.65
Convert currency
Shipping: £ 29.64
From Germany to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Published by Springer, 1997
ISBN 10: 3540627189 ISBN 13: 9783540627180
New Softcover

Seller: Lucky's Textbooks, Dallas, TX, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # ABLIING23Mar3113020172719

Contact seller

Buy New

£ 45.41
Convert currency
Shipping: £ 55.53
From U.S.A. to United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket