Code: 09094864

Logic-Based Program Synthesis and Transformation

Name: Logic-Based Program Synthesis and Transformation
Brand: Springer International Publishing AG
SKU: 09094864
Price: 49.50 EUR
Availability: InStock
Author: Gopal Gupta
ISBN: 9783319141244

by Gopal Gupta, Ricardo Pe?a

Language: English
Binding: Paperback
Number of pages: 237
Publisher: Springer International Publishing AG, 2014
More about this

49.50 €

RRP: 53.66 €

You save 4.17 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

Two worlds
1.91 € -21 %
Buy
MOLESKINE 2023 18MONTH WEEKLY HORIZONTAL
21.41 € -25 %
Buy
Geheimnisse des Alten und des Neuen Bundes
16.05 € -10 %
Buy
Handbook of Evidence-Based Practices in Intellectual and Developmental Disabilities
455.24 €
Buy
Plop. Libro bagno
5.45 €
Buy
O Papel Do Advogado NAS Transacoes Imobiliarias
35.65 € -14 %
Buy
May I Quote You on That?
14.74 € -25 %
Buy
Iron Industry
11 € -15 %
Buy
La Guida Completa all'alimentazione nella Boxe: Massimizza il tuo Potenziale
20.80 € -7 %
Buy
Can I Trust You?
11.51 € -6 %
Buy
Business Basics
21.11 € -2 %
Buy
Gavin's 100 Day Diary
8.98 € -6 %
Buy
40 Prayers for Nurses
7.87 € -7 %
Buy
A Mere Cypher: A Novel (1893)
36.36 € -2 %
Buy
Around the House
8.27 € -9 %
Buy
Criminology, Conflict Resolution and Restorative Justice
106.17 € -4 %
Buy
Gauguin, voyage au bout de la peinture
26.97 €
Buy
The Prickly Pear And Other Cacti As Food For Stock (1905)
18.38 € -1 %
Buy
Monsieur Et Madame Frontal, Ou Cranomanie Et Romantisme, Comedie-Critique En 1 Acte
13.02 € -1 %
Buy
Badger the Mystical Mutt and the Flying Fez
6.66 € -24 %
Buy
Promotion of learning in India during Muhammadan rule by Muhammadans
35.35 € -18 %
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

More about Logic-Based Program Synthesis and Transformation

Book details
Synopsis
Trending among others

You get 120 loyalty points

Book synopsis

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.

Book details

Book category Books in English Mathematics & science Mathematics Discrete mathematics

49.50 €

Full title: Logic-Based Program Synthesis and Transformation
Subtitle: 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers
Author: Gopal Gupta, Ricardo Pe?a
Language: English
Binding: Paperback
Number of pages: 237
EAN: 9783319141244
ISBN: 3319141244
ID: 09094864
Publisher: Springer International Publishing AG
Weight: 3869 g
Dimensions: 235 × 155 × 13 mm
Date of publishing: 11. December 2014