Program Development in Computational Logic
Subtitle: A Decade of Research Advances in Logic-Based Program Development
Publisher: Springer London, Limited
Published: 2004
Language: eng
ISBN-13: 9783540259510
Subjects: Computer science, mathematics; Logic, symbolic and mathematical