Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development: 3049 (Lecture Notes in Computer Science)

Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development: 3049 (Lecture Notes in Computer Science)

by Maurice Bruynooghe (Author), Kung-Kiu Lau (Author)

$56.95

Save:$51.36 (47%)

Quantity

20+ in stock

More Information

Format: Illustrated
Pages: 552
Edition: 2004
Publisher: Springer
Published: 13 Jun 2008

ISBN 10: 3540221522
ISBN 13: 9783540221524