Logic-Based Program Synthesis and Transformation

Name: Logic-Based Program Synthesis and Transformation
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783642322105
Price: 255.24 RON
Availability: InStock

21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers

Autor: Germán Vidal

Limbă:

Legare: Carte broșată

Editura: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Disponibilitate: În depozitul extern

Expediem în 5-8 zile

255.24 lei

This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Log...

Informații despre carte

Autor

Germán Vidal

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2012

Pagini

254

EAN

9783642322105

ISBN

3642322107

Enbook ID

01661777

Editura

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Greutate

409

Dimensiuni

155 x 235 x 15

Descriere completă

This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2011, held in Odense, Denmark in July 2011. The 6 revised full papers presented together with 8 additional papers were carefully reviewed and selected from 28 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, applications and tools, program/model manipulation, and transformation techniques for any programming language paradigm.

S-ar putea să te intereseze

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

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Logic-Based Program Synthesis and Transformation

21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers

Informații despre carte

Descriere completă

S-ar putea să te intereseze

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