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)

$97.64

Save:$7.43 (7%)

Quantity

10 in stock

More Information

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

ISBN 10: 3540221522
ISBN 13: 9783540221524