Menu
Zjistit stav objednávky
Kontaktujte nás
Kniha 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
Jazyk: Angličtina
Vazba: Brožovaná
Vydavatel: Springer Nature Switzerland AG
Dostupnost: Skladem u dodavatele
Odesíláme za 5-8 dnů
1 147 Kč
This book constitutes the thoroughly refereed post-conference proceedings of the 29th International...

Informace o knize

Autor
Maurizio Gabbrielli
Jazyk
Angličtina
Vazba
Kniha - Brožovaná
Vydáno
2020
Stránek
261
EAN
9783030452599
Enbook ID
28240705
Vydavatel
Springer Nature Switzerland AG
Hmotnost
454
Rozměry
155 x 235 x 16

Kompletní popis

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.

Mohlo by vás zajímat

Advanced Arduino Techniques in Science

Richard J. Smythe
558 Kč

Dopamine

Nadine Kabbani
2 234 Kč

Quantum Logic

Peter Mittelstaedt
2 286 Kč

Salve Regina

DIOGO DIAS MELGAS
201 Kč

Music Beaded Bookmark

Peter Pauper Press
122 Kč

How to Raise Strong & Healthy Chickens: Quick Start Guide

Htebooks
190 Kč

The Wolves of Slough Creek

Judy Young
185 Kč

Horrors of Fox Hollow Farm

Richard Estep
371 Kč

Zákaznicí kteří koupili tuto knihu koupili také

Protein-Therapie Und Unspezifische Leistungssteigerung

William Petersen
1 710 Kč

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

Alcan-M
676 Kč

Guide Kandolo

Pierre Félix Kandolo On'ufuku wa Kandolo
1 278 Kč

Au péril des guerres de Religion

Le Gall
376 Kč

Bons baisers d'Iran

Vilain
593 Kč

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

Emmanuel Beaudoin
620 Kč

Tratamiento de las crestas comprometidas en implantología

Vishal Bansal
710 Kč