Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development

Author
Kung-Kiu Lau, Mario Ornaghi (auth.), Maurice Bruynooghe, Kung-Kiu Lau (eds.)
Publisher
Springer-Verlag Berlin Heidelberg
Language
English
Edition
1
Year
2004
Page
539
ISBN
3540221522,9783540221524
File Type
pdf
File Size
4.1 MiB

How to Download?!!!

Just click on START button on Telegram Bot

Free Download Book