Code: 01661777

Logic-Based Program Synthesis and Transformation

Name: Logic-Based Program Synthesis and Transformation
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01661777
Price: 47.62 EUR
Availability: InStock
Author: Germán Vidal
ISBN: 9783642322105

by Germán Vidal

Language: English
Binding: Paperback
Number of pages: 254
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2012
More about this

47.62 €

RRP: 51.59 €

You save 3.97 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

Šťastné příběhy Čtyřlístku
18.74 € -23 %
Buy
Новое руководство по таро. 78 карт и руководство по гаданию
32.22 € -11 %
Buy
O dôstojnosti človeka
7.29 € -24 %
Buy
Collaborative Design Management
73.97 €
Buy
Looney Tunes POP!&Buddy Animation Vinyl Figure Sylvester&Tweety 9 cm
21.68 € -6 %
Buy
Pokémon - Maxi-colo Paldea
7.69 €
Buy
Splat the Cat
14.79 € -25 %
Buy
The Tragedy of Othello, the Moor of Venice
7.89 € -25 %
Buy
Meditaciones para el aula: 38 meditaciones guiadas para uso educativo y 48 propuestas para el desarrollo personal
20.56 €
Buy
Борис Гребенщиков. Песни для голоса и фортепиано (гитары).
8 € -12 %
Buy
Healing Hotels of the World
59.89 €
Buy
National Wildlife Federation Field Guide to Trees of North America
18.64 € -25 %
Buy
Essentials of ENT Surgical Procedures
90.90 € -9 %
Buy
LA FIESTA DE DISFRACES
24.82 €
Pre-order
Les silences de Margaret
25.83 €
Buy
Shania- Philosophie
13.57 € -10 %
Buy
Industrial Energy Management and Sustainability
36.47 € -18 %
Buy
Politics and Parentela in Paraiba
202.48 €
Buy
Handbook of Plant Cell Biotechnology
126.67 € -12 %
Buy
Data Mining With Decision Trees: Theory And Applications
128.60 €
Buy
Artificial Intelligence and Dynamic Systems for Geophysical Applications
154.64 € -7 %
Buy
Proceedings of the 2nd International Conference on Cognitive Based Information Processing and Applications (CIPA 2022)
360.38 € -7 %
Buy
Weltausstellung in Philadelphia Und Die Deutsche Industrie
53.20 € -7 %
Buy
Research Anthology on Smart Grid and Microgrid Development, VOL 3
685.59 €
Buy
Kdo mi pomůže
8.40 € -15 %
Buy
Corr James K Polk Vol 9
56.14 €
Buy
Environmental Soil Science
200.15 €
Buy
Added Value of Geographical Information Systems in Public and Environmental Health
110.66 €
Buy
Catalogue Des Livres Chinois, Coreens, Japonais, Etc Tome 3
20.26 € -2 %
Buy
CU CIRCLE MAKER DRAW THE PB
12.96 € -9 %
Buy
1040 PREGUNTAS TIPO TEST. LEY DE CONTRATOS DEL SECTOR PUBLICO
26.44 €
Buy
Enabling Technologies for High Spectral-efficiency Coherent Optical Communication Networks
160.12 € -4 %
Buy
Leben Neben Der Wohlstandsgesellschaft
57.96 € -7 %
Buy
Madchen in der Sprayerkultur?
16.21 € -10 %
Buy
Mojave Syntax
56.14 €
Buy
Shaina's Pocket Posh Journal, Tulip
7.29 € -24 %
Buy
How Speakers, Trainers, and Coaches Get More Bookings
11.34 € -25 %
Buy
Advances in Plant Biopesticides
154.64 € -7 %
Buy
IUTAM Symposium on Discretization Methods for Evolving Discontinuities
113.70 €
Buy
Big Data for Managers
72.05 €
Buy
Nanoparticle Engineering for Chemical-Mechanical Planarization
279.20 €
Buy
Soeur Fesne, Farce Nouvelle A. V. Personnages
13.06 € -1 %
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 115 loyalty points

Book synopsis

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.

Book details

Book category Books in English Computing & information technology Computer programming / software development Software Engineering

47.62 €

Full title: Logic-Based Program Synthesis and Transformation
Subtitle: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers
Author: Germán Vidal
Language: English
Binding: Paperback
Number of pages: 254
EAN: 9783642322105
ISBN: 3642322107
ID: 01661777
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight: 409 g
Dimensions: 235 × 155 × 15 mm
Date of publishing: 20. October 2012