BooksCOMPUTERS/Programming/General
Logic-Based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers
by Germ Vidal
Product Details
Author
Germ Vidal
Publisher
Springer/Sci-Tech/Trade
Published
2012
Binding
Paperback
ISBN
9783642322105
Language
English
Genre
COMPUTERS/Programming/General
Category
Books