Home Advanced Search

Advanced Search - Page 1

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
Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures
  • PDF
  • English
  • Year: 2006
  • Author: Kung-Kiu Lau, Mario Ornaghi, Zheng Wang (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)
Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures
  • PDF
  • English
  • Year: 2006
  • Author: Kung-Kiu Lau, Mario Ornaghi, Zheng Wang (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (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.)
An Introduction to Component-based Software Development
  • PDF
  • english
  • Year: 2016
  • Author: Kung-Kiu Lau, Simone Di Cola
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
search