K.-K. Lau
5 published titles
Program development in computational logic : a decade of research advances in logic-based program development
(Contributor)
1 edition
- ISBN: 3540221522
- Springer
- 2004
- Details
Component-based software development : case studies
(Contributor)
1 edition
- ISBN: 9812388281
- World Scientific
- 2004
- Details
Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings
(Contributor)
1 edition
- ISBN: 3540297979
- Springer
- 2005
- Details
Service-oriented and cloud computing : second European conference, ESOCC 2013, Malaga, Spain, September 11-13, 2013, proceedings
(Contributor)
1 edition
- ISBN: 9783642406508
- Springer
- 2013
- Details
Service-oriented and cloud computing : third European conference, ESOCC 2014, Manchester, UK, September 2-4, 2014, proceedings
(Contributor)
1 edition
- ISBN: 9783662448786
- Springer
- 2014
- Details
