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

Development

von: Maurice Bruynooghe · Kung-Kiu Lau

Taschenbuch

ISBN-13: 978-3-540-22152-4

ISBN-10: 3-540-22152-2

Springer · 2008