Home Advanced Search

Advanced Search - Page 1

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.)
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.)
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.)
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.)
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
Component-Based Software Engineering: 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Kung-Kiu Lau, Faris M. Taweel (auth.), Heinz W. Schmidt, Ivica Crnkovic, George T. Heineman, Judith A. Stafford (eds.)
Component-Based Software Engineering: 9th International Symposium, CBSE 2006, Västerås, Sweden, June 29 - July 1, 2006. Proceedings
  • PDF
  • English
  • Year: 2006
  • Author: Kung-Kiu Lau, Vladyslav Ukis (auth.), Ian Gorton, George T. Heineman, Ivica Crnković, Heinz W. Schmidt, Judith A. Stafford, Clemens Szyperski, Kurt Wallnau (eds.)
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.)
search