Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD point 1 170 Ft DPD courier 1 370 Ft GLS point 1 370 Ft Hungarian Post 1 975 Ft Hungarian Post 1 870 Ft Hungarian Post 1 870 Ft FoxPost 1 370 Ft Packeta point 1 370 Ft GLS courier 1 870 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Logic-Based Program Synthesis and Transformation

Name: Logic-Based Program Synthesis and Transformation
Brand: Springer Nature Switzerland AG
SKU: 21284287
Price: 19661 HUF
Availability: InStock
Author: Fred Mesnard
ISBN: 9783030138370

28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers

Fred Mesnard

Peter J. Stuckey

Language

English

Book Paperback

Libristo code: 21284287

Publishers Springer Nature Switzerland AG, February 2019

This book constitutes the thoroughly refereed post-conference proceedings of the 28th International... Full description

Libristo code: 21284287

132 b

19 661 Ft

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

EDVARD GRIEG: PEER GYNT SUITE, HOLBERG SUITE AND OTHER WORKS FOR PIANO PIANO GRIEG Book

binding.

17 404 Ft

Amante mío J.R. WARD

Paperback

6 188 Ft

Neue Abenteuer von ...: Toy Story 5 Stefanie Walther-Kotzé

Hardback

5 079 Ft

Aprender a leer en la Escuela de Monstruos - Pack con los libros 1-8 (?incluye un regalo!) Sally Rippin

Paperback

21 052 Ft

ORIGENES DE CASTILLA Y LEON,LOS CASANOVA Y TODOLI

Book

6 950 Ft

Memoria Fotografica Zeloni Magelli Edoardo Zeloni Magelli

Paperback

6 262 Ft

Interpretation zu dem Gedicht Zum Lazarus I von Heinrich Heine Guido Wahrenberg

Paperback

5 706 Ft

Caisse Comanche Jose Raymond

Paperback

6 306 Ft

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.