Menu
Află starea comenzii
Contactați-ne
Carte Logic-Based Program Synthesis and Transformation Maurizio Gabbrielli

Logic-Based Program Synthesis and Transformation

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

Autor: Maurizio Gabbrielli
Limbă: engleză
Legare: Carte broșată
Editura: Springer Nature Switzerland AG
Disponibilitate: În depozitul extern
Expediem în 5-8 zile
276.84 lei
This book constitutes the thoroughly refereed post-conference proceedings of the 29th International...

Informații despre carte

Autor
Maurizio Gabbrielli
Limbă
engleză
Legare
Carte - Carte broșată
Publicat
2020
Pagini
261
EAN
9783030452599
Enbook ID
28240705
Editura
Springer Nature Switzerland AG
Greutate
454
Dimensiuni
155 x 235 x 16

Descriere completă

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.

S-ar putea să te intereseze

Advanced Arduino Techniques in Science

Richard J. Smythe
136.85 lei

Dopamine

Nadine Kabbani
540.77 lei

Quantum Logic

Peter Mittelstaedt
552.18 lei

Salve Regina

DIOGO DIAS MELGAS
43.49 lei

Music Beaded Bookmark

Peter Pauper Press
26.43 lei

How to Raise Strong & Healthy Chickens: Quick Start Guide

Htebooks
45.61 lei

The Wolves of Slough Creek

Judy Young
45.61 lei

Horrors of Fox Hollow Farm

Richard Estep
89.72 lei

Clienții care au cumpărat această carte au mai cumpărat și

Protein-Therapie Und Unspezifische Leistungssteigerung

William Petersen
413.00 lei

Fabrication Des Etoffes. Traite Du Travail Des Laines. Tome 2

Alcan-M
160.77 lei

Guide Kandolo

Pierre Félix Kandolo On'ufuku wa Kandolo
311.46 lei

Au péril des guerres de Religion

Le Gall
81.54 lei

Bons baisers d'Iran

Vilain
128.37 lei

101 merveilles du ciel qu'il faut avoir vues dans sa vie

Emmanuel Beaudoin
134.33 lei

Tratamiento de las crestas comprometidas en implantología

Vishal Bansal
172.98 lei