Kung-Kiu Lau
A list of authors with biographies, life dates, and future collections of all their books.
Author's Books
9
Service-Oriented and Cloud Computing
Formal Methods and Software Engineering
Logic Program Synthesis and Transformation
Component-based software development
Computational Logic CL 2000 00
Component-Based Software Development
Program development in computational logic
Formal Methods and Software Engineering (vol. # 3785)
