Logic-Based Program Synthesis and Transformation
17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers
King, Andy (EDT)
Paperback
$51.56 + $1.99 USPS S/H
$2.58 of your order (5%) will be donated to the school of your choice.
Submit a book reviewFOR RELATED BOOKS
Computers Books :: Logic Design Books
Computers Books :: Programming Books :: Software Development Books
MORE BOOK INFO
ISBN: 3540787682
Dewey Decimal: 005.1/15
Library of Congress: 2008922726
Book Publisher: Springer-Verlag New York Inc
Language: ENG
No. of Pages: 217
