Code: 01570057

Logic-Based Program Synthesis and Transformation

Name: Logic-Based Program Synthesis and Transformation
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01570057
Price: 61.35 EUR
Availability: InStock

by Andy King

This postproceedings volume of the 17th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2007, examines program termination, program transformation, constraint solving and analysis as well as sof ... more

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

61.35 €

Low in stock at our supplier
Shipping in 13 - 16 days

Potřebujete více kusů?Máte-li zájem o více kusů, prověřte, prosím, nejprve dostupnost titulu na naši zákaznické podpoře.

Add to wishlist

Nervus vagus
5.73 € -32 %
Buy
Miki Falls, Spring
12.28 € -12 %
Buy
Incinerator
9.46 € -18 %
Buy
Curso sobre agricultura biodinámica
23.77 €
Buy
Letters from the Atlantic
14.60 € -1 %
Buy
Memoirs Of Eighty Years (1892)
34.65 €
Buy
Magician's Doubts
52.38 €
Buy
Controlled Nanoscale Motion
120.90 €
Buy
20. Jahrhundert. Gefahrdet und gefahrlich
40.59 € -1 %
Buy
Klar zum Feuern
17.22 € -2 %
Buy
Drowning In My Tea Cup: There Should Have Been A Rainbow
8.65 € -1 %
Buy
Delaware Indian Legend and the Story of their Troubles
18.53 € -2 %
Buy
A Blueprint For Achieving Peace On Earth
15.81 € -1 %
Buy
Extraordinary Cases.
28.71 € -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 154 loyalty points

Book synopsis

Book details

Book category Książki po angielsku Computing & information technology Computer programming / software development

61.35 €

Full title: Logic-Based Program Synthesis and Transformation
Subtitle: 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers
Author: Andy King
Language: English
Binding: Paperback
Number of pages: 222
EAN: 9783540787686
ISBN: 3540787682
ID: 01570057
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight: 365 g
Dimensions: 14 × 154 × 239 mm
Date of publishing: 18. March 2008