Kung-Kiu Lau
· 9 obras en el catálogo
Obras

Formal Methods and Software Engineering (vol. # 3785)

Program development in computational logic

Component-based software development

Computational Logic CL 2000 00

Logic Program Synthesis and Transformation
Service-Oriented and Cloud Computing
Formal Methods and Software Engineering

Component-Based Software Development
