BIBLIO is the largest independent book marketplace in the world, with over 100 million books.

Skip to content

Logic-Based Program Synthesis and Transformation: 28th International Symposium,
Stock photo: cover may vary

Logic-Based Program Synthesis and Transformation: 28th International Symposium, Lopstr 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Sel Paperback - 2019

by Fred Mesnard (Editor); Peter J. Stuckey (Editor)

Add to wish list

Reader reviews for Logic-Based Program Synthesis and Transformation: 28th International Symposium, Lopstr 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Sel

From the publisher

This book constitutes the thoroughly refereed post-conference proceedings of the 28th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2018, held in Frankfurt/Main, Germany, in September 2018.The 11 revised full papers were carefully reviewed and selected from 29 submissions. In addition to the 11 papers, this volume includes 3 abstracts of invited talks and 2 abstracts of invited tutorials. The papers are grouped into the following topics: analysis of term rewriting; logic-based distributed/concurrent programming; analysis of logic programming; and program analysis.

Details

  • Title Logic-Based Program Synthesis and Transformation: 28th International Symposium, Lopstr 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Sel
  • Author Fred Mesnard (Editor); Peter J. Stuckey (Editor)
  • Binding Paperback
  • Pages 203
  • Volumes 1
  • Language ENG
  • Publisher Springer
  • Publication date 2019-02-23
  • Illustrated Yes
  • Features Illustrated
  • ISBN 9783030138370 / 3030138372
  • Weight 0.7 lbs (0.32 kg)
  • Dimensions 9.21 x 6.14 x 0.47 in (23.39 x 15.60 x 1.19 cm)
  • Category Computers - General Information
  • Dewey Decimal Code 005.1

More Copies for Sale

Logic-Based Program Synthesis and Transformation : 28th International Symposium, LOPSTR 2018,...

Logic-Based Program Synthesis and Transformation : 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9783030138370 / 3030138372
Quantity available
425
Seller
Item price
A$104.66
A$15.50 Delivery to USA

Show details

Description:
Paperback. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; This book constitutes the thoroughly refereed post-conference proceedings of the 28th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2018, held in Frankfurt/Main, Germany, in September 2018.The 11 re
Add to wish list
Item price
A$104.66
A$15.50 Delivery to USA
Logic-Based Program Synthesis and Transformation: 28th International Symposium, LOPSTR 2018,...
Stock photo: cover may vary

Logic-Based Program Synthesis and Transformation: 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised ... Computer Science and General Issues)

by Mesnard, Fred

  • New
  • Paperback
  • first
Condition
New
Edition
1st ed. 2019
Binding
Paperback
ISBN 10 / ISBN 13
9783030138370 / 3030138372
Quantity available
6
Seller
Item price
A$95.56
Free Delivery to USA

Show details

Description:
Springer, 2019-02-23. 1st ed. 2019. paperback. New. 6.10x0.51x9.25. Buy with confidence. Excellent Customer Service & Return policy.
Add to wish list
Item price
A$95.56
Free Delivery to USA
Logic-based Program Synthesis and Transformation: 28th International Symposium, Lopstr 2018,...
Stock photo: cover may vary

Logic-based Program Synthesis and Transformation: 28th International Symposium, Lopstr 2018, Frankfurt/main, Germany, September 4-6, 2018, Revised Selected Papers

by Mesnard, Fred (Editor)/ Stuckey, Peter J. (Editor)

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9783030138370 / 3030138372
Quantity available
2
Seller
Item price
A$128.23
A$29.09 Delivery to USA

Show details

Description:
Springer-Verlag New York Inc, 2019. Paperback. New. 224 pages. 9.25x6.10x0.47 inches.
Add to wish list
Item price
A$128.23
A$29.09 Delivery to USA
Logic-Based Program Synthesis and Transformation: 28th International Symposium, LOPSTR 2018,...
Stock photo: cover may vary

Show details

Description:
Springer , 1st ed. 2019 edition NO-PA16APR2015-KAP. Papeback. New.
Add to wish list
Item price
A$137.24
A$5.85 Delivery to USA