Items related to Logic-Based Program Synthesis and Transformation: 20th...

Logic-Based Program Synthesis and Transformation: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers - Softcover

Marķa Alpuente

 
9783642205521: Logic-Based Program Synthesis and Transformation: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers
Softcover
ISBN 10: 3642205526 ISBN 13: 9783642205521
Publisher: Springer

This specific ISBN edition is currently not available.

Synopsis

This book constitutes the thoroughly refereed post-proceedings of the 20th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2010, held in Hagenberg, Austria in July 2010. The 13 revised full papers presented together with two invited papers were carefully reviewed and selected from 26 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, application and tools, program/model manipulation, and transformation techniques for any programming language paradigm.

"synopsis" may belong to another edition of this title.

Publisher
Springer
Language
English
ISBN 10 
3642205526
ISBN 13 
9783642205521
Binding
Paperback
Number of pages
260

(No Available Copies)

Search Books:



Create a Want

Can't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!

Create a Want

Other Popular Editions of the Same Title

9783642205507: Logic-Based Program Synthesis and Transformation: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers (Lecture Notes in Computer Science, 6564)

Featured Edition

ISBN 10:  364220550X ISBN 13:  9783642205507
Publisher: Springer, 2011
Softcover