Logic-Based Program Synthesis and Transformation

Name: Logic-Based Program Synthesis and Transformation
Brand: Springer International Publishing AG
SKU: 9783319141244
Price: 297.49 RON
Availability: InStock

23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers

Autor: Gopal Gupta, Ricardo Pe?a

Limbă:

Legare: Carte broșată

Editura: Springer International Publishing AG

Disponibilitate: În depozitul extern în cantități mici

Expediem în 11-15 zile

297.49 lei

This book constitutes the thoroughly refereed post-conference proceedings of the 23rd International...

Informații despre carte

Autor

Gopal Gupta, Ricardo Pe?a

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2014

Pagini

237

EAN

9783319141244

ISBN

3319141244

Enbook ID

09094864

Editura

Springer International Publishing AG

Greutate

3869

Dimensiuni

155 x 235 x 13

Descriere completă

This book constitutes the thoroughly refereed post-conference proceedings of the 23rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2013, held in Madrid, Spain, in September 2013. The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 21 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

23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, 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