Kung-Kiu Lau
Books
- Computational Logic CL 2000 00
- Program development in computational logic
- Logic Program Synthesis and Transformation
- Component-Based Software Development
- Formal Methods and Software Engineering
- Service-Oriented and Cloud Computing
- Component-based software development
- Formal Methods and Software Engineering (vol. # 3785)
- Logic Based Program Synthesis & Transformation
Author data: Open Library