Home Advanced Search

Advanced Search - Page 1

Logic Program Synthesis and Transformation: Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University ... 2-3 July 1992

DJVU
English
Year: 1993
Author: Kung-Kiu Lau, Timothy P. Clement

Logic Program Synthesis and Transformation: Proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 4–5 July 1991

PDF
English
Year: 1992
Author: Jonathan M. Lever (auth.), Timothy Paul Clement MA, DPhil, Kung-Kiu Lau BSc, PhD (eds.)

Component-Based Software Development: Case Studies

PDF
English
Year: 2004
Author: Kung-Kiu Lau

Component-based software development: case studies

PDF
English
Year: 2004
Author: Kung-Kiu Lau

Logic Program Synthesis and Transformation: Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2–3 July 1992

PDF
English
Year: 1993
Author: Ina Kraan, David Basin, Alan Bundy (auth.), Kung-Kiu Lau Bsc, PhD, Timothy Paul Clement Ma, DPhil (eds.)

Logic Based Program Synthesis and Transformation: 10th International Workshop, LOPSTR 2000 London, UK, July 24–28, 2000 Selected Papers

PDF
English
Year: 2001
Author: Kung-Kiu Lau (auth.)

An Introduction to Component-based Software Development

PDF
english
Year: 2016
Author: Kung-Kiu Lau, Simone Di Cola

Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development

PDF
English
Year: 2004
Author: Kung-Kiu Lau, Mario Ornaghi (auth.), Maurice Bruynooghe, Kung-Kiu Lau (eds.)

Teaching Formal Methods: CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings

PDF
English
Year: 2004
Author: Kung-Kiu Lau (auth.), C. Neville Dean, Raymond T. Boute (eds.)

Teaching Formal Methods: CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings

PDF
English
Year: 2004
Author: Kung-Kiu Lau (auth.), C. Neville Dean, Raymond T. Boute (eds.)