ISBN 9783540221524 books & textbook
Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development (Lecture Notes in Computer Science, 3049)
Bruynooghe, Maurice Lau, Kung-Kiu
Springer /2004-06-17 Paperback / 547 Pages
isbn-10: 3540221522 / isbn-13: 9783540221524
