Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits.
Create an account for free
Contact
How to shop
Help
Delivery
Austrian Post 5.49 €
DPD courier 3.99 €
DPD point 2.99 €
Shopping guide
My account
▸
Empty :-(
0
Logic-Based Program Synthesis and Transformation
Language
English
English
Book
Paperback
This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International...
Full description
Libristo code: 01663644
?
121 b
121 b
49.49
€
VAT included
In stock at our supplier
Shipping in 5-8 days
Delivery to Austria
Delivery to Austria
30-day return policy
Customers also purchased
/
Paperback
18.95
€
This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2012, held in Leuven, Belgium in September 2012. §The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 27 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.
Actress
&
Polyglot
EWA KASP
for
Play video
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.
About the book
Full name
Logic-Based Program Synthesis and Transformation
Author
Elvira Albert
Language
English
English
Binding
Book - Paperback
Date of issue
2013
Number of pages
245
EAN
9783642381966
ISBN
3642381960
Libristo code
01663644
Weight
454
Dimensions
155 x 235 x 15
Categories
Technology, Engineering, Agriculture
>
Electronics & communications engineering
>
Electronics engineering
>
Automatic control engineering
>
Robotics
Computing & Information Technology
>
Computer science
>
Mathematical theory of computation
>
Maths for computer scientists
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's addressYou might also be interested in
/
Paperback
53.79
€
