Jump to ratings and reviews
Rate this book

Logic-Based Program Synthesis and Transformation: 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected ... Notes in Computer Science Book 4915)

Andy King (Editor)

Rate this book

Kindle Edition

Published November 26, 2008

About the author

Andy King

52 books

Ratings & Reviews

What do you think?
Rate this book

Friends & Following

Create a free account to discover what your friends think of this book!

Community Reviews

5 stars
0 (0%)
4 stars
0 (0%)
3 stars
0 (0%)
2 stars
0 (0%)
1 star
0 (0%)
No one has reviewed this book yet.
Be the first

Join the discussion

Add
a quote
Start
a discussion
Ask
a question

Can't find what you're looking for?

Get help and learn more about the design.
Help center