👤

Kung-Kiu Lau

5 books

Books by Kung-Kiu Lau

Formal Methods and Software Engineering (vol. # 3785)
Formal Methods and Software Engineering (vol. # 3785)
2005
Component-Based Software Development
Component-Based Software Development
2004
Program development in computational logic
Program development in computational logic
2004
Logic Based Program Synthesis & Transformation
Logic Based Program Synthesis & Transformation
2001
Computational Logic CL 2000 00
Computational Logic CL 2000 00
2000