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
SKU: 40997876
Price: 22629 HUF
Availability: InStock
Author: Fred Mesnard
ISBN: 9783030138387

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

Fred Mesnard

Peter J. Stuckey

Language

English

E-book Adobe ePub DRM

Libristo code: 40997876

Publishers Springer, March 2019

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

Libristo code: 40997876

152 b

22 629 Ft

In stock Immediate digital delivery

Customers also purchased

Des gens normaux Pasques

Paperback

8 683 Ft

Traite Elementaire De Mecanique Chimique V1: Fondee Sur La Thermodynamique (1897) Pierre M. Duhem

Paperback

12 636 Ft

A VIRTUDE LAUREADA BARBOSA DU BOCAGE MANUEL MARIA

Paperback

5 189 Ft

Briser les chaînes du silence Coleene Castillo

Paperback

11 771 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.