Livrare gratuită pentru comenzile peste 349,00 lei.

Verifică starea comenzii

Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit

Transport gratuit la punctele de livrare Pick Up peste 349.00 lei

Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei

Contact

Cum să cumpăr

Ajutor

Contul meu

▸ Gol :-(

Livrare gratuită pentru comenzile peste 349,00 lei.

Logic-Based Program Synthesis and Transformation

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

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

Maurizio Gabbrielli

Limba

engleză

Carte Carte broșată

Codul Libristo: 28240705

Editura Springer Nature Switzerland AG, aprilie 2020

This book constitutes the thoroughly refereed post-conference proceedings of the 29th International... Descrierea completă

Codul Libristo: 28240705

132 b

284.91 lei

În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Protein-Therapie Und Unspezifische Leistungssteigerung William Petersen

Carte broșată

425.03 lei

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

Carte broșată

165.46 lei

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

Carte broșată

320.54 lei

Au péril des guerres de Religion Le Gall

Carte broșată

83.92 lei

Bons baisers d'Iran Vilain

Carte broșată

132.12 lei

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

Carte broșată

138.24 lei

Tratamiento de las crestas comprometidas en implantología Vishal Bansal

Carte broșată

178.03 lei

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.