Your Waterstones card is changing, introducing...
TELL ME MORE
Logic-Based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers - Lecture Notes in Computer Science 7225 (Paperback)
  • Logic-Based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers - Lecture Notes in Computer Science 7225 (Paperback)
zoom

Logic-Based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers - Lecture Notes in Computer Science 7225 (Paperback)

(editor)
£41.99
Paperback 254 Pages / Published: 20/10/2012
  • We can order this

Usually despatched within 3 weeks

  • This item has been added to your basket
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.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783642322105
Number of pages: 254
Weight: 409 g
Dimensions: 235 x 155 x 14 mm
Edition: 2012 ed.

You may also be interested in...

Implementing Domain-Driven Design
Added to basket
Refactoring
Added to basket
£47.99
Hardback
Clean Code
Added to basket
£36.99
Paperback
Impact Mapping
Added to basket
£9.99
Paperback
The Agile Samurai
Added to basket
The Art of Unit Testing
Added to basket
Designing Data-Intensive Applications
Added to basket
The Clean Coder
Added to basket
£32.99
Paperback
Kanban
Added to basket
£33.55
Paperback
Art of Agile Development
Added to basket
Essential Scrum
Added to basket
£36.99
Paperback
Test Driven Development
Added to basket
Coaching Agile Teams
Added to basket
Agile Product Management with Scrum
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.