Get Free Shipping on orders over $0
Logic-Based Program Synthesis and Transformation : 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers - Germán Vidal
eTextbook alternate format product

Instant online reading.
Don't wait for delivery!

Go digital and save!

Logic-Based Program Synthesis and Transformation

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

By: Germán Vidal (Editor)

Paperback | 20 October 2012

At a Glance

Paperback


$135.75

or 4 interest-free payments of $33.94 with

 or 

Ships in 10 to 15 business days

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.

More in Computer Programming & Software Development

Videogame Architecture : Building Virtual Spaces - Luke Caspar Pearson

RRP $100.00

$69.75

30%
OFF
Web Engineering : Theory and Practice - Jeremiah Downey
The Essence of Software Engineering - Cersei Page
Introduction to Programming Languages - Gordon Hurley
The Practical Guide : The Practical Guide - Kerem Koseoglu
The C Programming Language : Prentice Hall Software - Dennis Ritchie

RRP $107.04

$75.75

29%
OFF
MacBook Neo For Dummies - Mark L. Chambers

RRP $41.95

$33.75

20%
OFF
Coding For Dummies, All New Edition : For Dummies (Computer/Tech) - Paul McFedries
Python & AI For Dummies - John C. Shovic

RRP $57.95

$44.75

23%
OFF
Python All-in-One For Dummies : 3rd Edition - John C. Shovic

RRP $74.95

$55.75

26%
OFF
Computer Systems 3ed : A Programmer's Perspective, Global Edition - Randal Bryant
Coding For Kids For Dummies : For Kids for Dummies - Camille McCue
Think Python 3e : How To Think Like a Computer Scientist - Allen B. Downey