Lau, Kung-Kiu.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Logic based program synthesis and transformation10th international workshop, LOPSTER 2000, London, UK, July 24-28, 2000 : selected papers /
by:
(1998 :); Lau, Kung-Kiu.; SpringerLink (Online service)
(Electronic resources)
Formal Methods and Software Engineering :7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings
by:
(1998 :); Banach, Richard.; Lau, Kung-Kiu.; SpringerLink (Online service)
(Electronic resources)
Service-oriented and cloud computingThird European Conference, ESOCC 2014, Manchester, UK, September 2-4, 2014 : proceedings /
by:
(1998 :); Lau, Kung-Kiu.; SpringerLink (Online service); Villari, Massimo.; Zimmermann, Wolf.
(Electronic resources)
Subjects
Software engineering
Software Engineering.
Logics and Meanings of Programs.
Logic programming
Management of Computing and Information Systems.
Database Management.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Information Storage and Retrieval.
Service-oriented architecture (Computer science)
Business Information Systems.
Computer Science.
Cloud computing
Systems and Data Security.