logo
Wrong email address or username
Wrong email address or username
Incorrect verification code
Logic-Based Program Synthesis and Transformation: 17th International Symposium, Lopstr 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers - Andy King
Logic-Based Program Synthesis and Transformation: 17th International Symposium, Lopstr 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers
by: (author)
Format: paperback
ISBN: 9783540787686 (3540787682)
Publisher: Springer
Pages no: 219
Edition language: English
Bookstores:
Books by Andy King
Share this Book
Need help?