Free delivery for orders over 69.99€

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 69.99 €

Speedy courier 3.99 € Speedy point 3.99 € Еконт courier 4.49 € Еконтомат/Офис на Еконт 4.49 € Ekont Box 4.49 € Sameday courier 4.49 € Sameday Box 4.49 € Box Now 4.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99€

Logic-Based Program Synthesis and Transformation

Name: Logic-Based Program Synthesis and Transformation
Brand: Springer Nature Switzerland AG
SKU: 28240705
Price: 51.35 EUR
Availability: InStock
Author: Maurizio Gabbrielli
ISBN: 9783030452599

29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8-10, 2019, Revised Selected Papers

Maurizio Gabbrielli

Language

English

Book Paperback

Libristo code: 28240705

Publishers Springer Nature Switzerland AG, April 2020

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

Libristo code: 28240705

125 b

51.35 €

100.43 лв

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Колобок Константин Ушинский

Hardback

13.89 € 27.16 лв

Tratamiento de las crestas comprometidas en implantología Vishal Bansal

Paperback

33.87 € 66.24 лв

Conception d'un système d'inscription en ligne des étudiants pour St. Pius Senior Sec Mugyenyi Raymond

Paperback

31.95 € 62.49 лв

AJUSTE Y EMBALADO DE MUEBLES Y ELEMENTOS DE CARPINTERIA. MAM MOLINA RODRIGUEZ

Paperback

20.58 € 40.25 лв

Sista chansen Bengt-Ake Cras

Adobe ePub DRM

7.97 € 15.59 лв

Weisheiten über Hund und Katze Doris Probst

Hardback

18.06 € 35.31 лв

leone e il corazziere. L'anima del rugby in Carwyn James e Doro Quaglio Marco Pastonesi

Paperback

19.29 € 37.73 лв

Res publica Europa Christopher Balme

Adobe ePub DRM

15.02 € 29.38 лв

The Best Photographers IV

Sheet

15.89 € 31.09 лв

Te wspaniałe COWGIRLS Gospodarska książka do kolorowania Bella Mary Wood

Paperback

12.70 € 24.85 лв

PASSWORT LUPE - Spracharbeitsheft 2 GS mit Interaktiven Übungen Ursula Emanuel

Sheet

20.27 € 39.64 лв

L'Afrique du Sud ? l'heure de Jacob Zuma Michel Prum

Paperback

17.08 € 33.40 лв

Protein-Therapie Und Unspezifische Leistungssteigerung William Petersen

Paperback

80.78 € 157.99 лв

Kommunikation und Kontrolle Florian Altenhöner

Hardback

51.45 € 100.63 лв

Alphabetisierung in der Fremdsprache Deutsch Albert Ruth

Hardback

33.70 € 65.91 лв

de la Question Des Reprises de la Femme Mariee: Solution Nouvelle Vavasseur-A

Paperback

13.17 € 25.75 лв

Theodor Beza; nach handschriften Quellen dargestellt G Baum

Paperback

34.21 € 66.91 лв

Fabrication Des Etoffes. Traite Du Travail Des Laines. Tome 2 Alcan-M

Paperback

29.58 € 57.86 лв

Branislav Nusic: Sabrana Dela Branislav Nusic

Paperback

19.75 € 38.64 лв

Guide Kandolo Pierre Félix Kandolo On'ufuku wa Kandolo

Paperback

57.52 € 112.50 лв

Bibelbilderbuch Band 5 Kees de Kort

Hardback

20.53 € 40.14 лв

Polska znana i mniej znana V Dzikowska Elżbieta

Paperback

9.57 € 18.71 лв

PERIFERIAS: CRISE E NOVIDADE PARA A IGREJA ANDREA RICCARDI

binding.

11.37 € 22.23 лв

Reisebilder Heinrich Heine

Paperback

23.20 € 45.38 лв

This book constitutes the thoroughly refereed post-conference proceedings of the 29th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2019, held in Porto, Portugal, in October 2019. The 15 revised full papers were carefully reviewed and selected from 32 submissions. In addition to the 15 papers, this volume includes 2 invited papers. The symposium cover all aspects of logic-based program development, stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. This year LOPSTR extends its traditional topics to include also logic-based program development based on integration of sub-symbolic and symbolic models, on machine learning techniques and on differential semantics. The papers are grouped into the following topics: static analysis, program synthesis, constraints and unification, debugging and verification, and program transformation.