Author

Kung-Kiu Lau

7 books found

Cover of Logic Program Synthesis and Transformation

Logic Program Synthesis and Transformation

Timothy P. Clement, Kung-Kiu Lau · First published 2013

Cover of Service-Oriented and Cloud Computing

Service-Oriented and Cloud Computing

Kung-Kiu Lau, Winfried Lamersdorf, Ernesto Pimentel · First published 2013

Cover of Formal Methods and Software Engineering

Formal Methods and Software Engineering

Kung-Kiu Lau · First published 2005

Cover of Component-Based Software Development

Component-Based Software Development

Kung-Kiu Lau · First published 2004

Cover of Program development in computational logic

Program development in computational logic

Maurice Bruynooghe, Kung-Kiu Lau · First published 2004

Cover of Logic Based Program Synthesis & Transformation

Logic Based Program Synthesis & Transformation

Kung-Kiu Lau · First published 2001

Cover of Computational Logic CL 2000 00

Computational Logic CL 2000 00

John Lloyd - undifferentiated, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Lus Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey · First published 2000