Kung-Kiu Lau – författare
Visar alla böcker från författaren Kung-Kiu Lau. Handla med fri frakt och snabb leverans.
19 produkter
Logic Program Synthesis and Transformation
Proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 4–5 July 1991
Av Kung-Kiu Lau, Timothy P. Clement
E-bok, 2013
739 kr
Lägg i varukorg
Logic programming synthesis and transformation are methods of deriving logic programs from their specifications and, where necessary, producing alternative but equivalent forms of a given program. The techniques involved in synthesis and transformation are extremely important as they allow the …
Logic Program Synthesis and Transformation
Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2–3 July 1992
Av Timothy P. Clement, Kung-Kiu Lau
E-bok, 2013
755 kr
Lägg i varukorg
Logic program synthesis and transformation are topics of central importance to the software industry. The demand for software can not be met by the current supply, in terms of volume, complexity, or reliability. The most promising solution seems to be the increased automation of software …
Logic Program Synthesis and Transformation
Proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 4–5 July 1991
Av Timothy P. Clement, Kung-Kiu Lau
Häftad, 1992
566 kr
Lägg i varukorg
Logic programming synthesis and transformation are methods are deriving logic programs from their specifications and, where necessary, producing alternative but equivalent forms of a given program. The techniques involved in synthesis and transformation are extremely important as they allow the …
Logic Program Synthesis and Transformation
Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2–3 July 1992
Av Kung-Kiu Lau, Timothy P. Clement
Häftad, 1993
566 kr
Lägg i varukorg
Logic program synthesis and transformation are topics of central importance to the software industry. The demand for software can not be met by the current supply, in terms of volume, complexity, or reliability. The most promising solution seems to be the increased automation of software …
Program Development in Computational Logic
A Decade of Research Advances in Logic-Based Program Development
Av Maurice Bruynooghe, Kung-Kiu Lau
Häftad, 2004
566 kr
Lägg i varukorg
1 The tenth anniversary of the LOPSTR symposium provided the incentive for this volume. LOPSTR started in 1991 as a workshop on logic program synthesis and transformation, but later it broadened its scope to logic-based program development in general, that is, program development in computational …
Program Development in Computational Logic
A Decade of Research Advances in Logic-Based Program Development
Av Kung-Kiu Lau, Maurice Bruynooghe
E-bok, 2004
755 kr
Lägg i varukorg
1 The tenth anniversary of the LOPSTR symposium provided the incentive for this volume. LOPSTR started in 1991 as a workshop on logic program synthesis and transformation, but later it broadened its scope to logic-based program development in general, that is, program development in computational …
Formal Methods and Software Engineering
7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings
Av Kung-Kiu Lau, Richard Banach
Häftad, 2005
566 kr
Lägg i varukorg
This volume contains papers presented at the 7th International Conference on Formal Engineering Methods (ICFEM 2005), 1-4 November 2005, Manchester, UK. Formal engineering methods are changing the way that systems are dev- oped. With language and tool support, these methods are being used for se- …
Formal Methods and Software Engineering
7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings
Av Richard Banach, Kung-Kiu Lau
E-bok, 2005
755 kr
Lägg i varukorg
Logic Based Program Synthesis and Transformation
10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers
Av Kung-Kiu Lau
Häftad, 2001
566 kr
Lägg i varukorg
ThisvolumecontainsselectedpapersofLOPSTR2000,theTenthInternational 1 WorkshoponLogic-basedProgramSynthesisandTransformation. Inadep- turefrompreviousyears,LOPSTR2000constitutedtheProgramDevelopment streamatCL2000,theFirstInternationalConferenceonComputationalLogic, …
Computational Logic - CL 2000
First International Conference London, UK, July 24–28, 2000 Proceedings
Av Peter J. Stuckey, Yehoshua Sagiv m. fl.
E-bok, 2003
739 kr
Lägg i varukorg
These are the proceedings of the First International Conference on Compu- tional Logic (CL 2000) which was held at Imperial College in London from 24th to 28th July, 2000. The theme of the conference covered all aspects of the theory, implementation, and application of computational logic, where …
Logic Based Program Synthesis and Transformation
10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers
Av Kung-Kiu Lau
E-bok, 2003
734 kr
Lägg i varukorg
Computational Logic — CL 2000
First International Conference London, UK, July 24–28, 2000 Proceedings
Av John Lloyd, Veronica Dahl m. fl.
2000
668 kr
Lägg i varukorg
These are the proceedings of the First International Conference on Compu- tional Logic (CL 2000) which was held at Imperial College in London from 24th to 28th July, 2000. The theme of the conference covered all aspects of the theory, implementation, and application of computational logic, where …
Service-Oriented and Cloud Computing
Second European Conference, ESOCC 2013, Málaga, Spain, September 11-13, 2013, Proceedings
Av Kung-Kiu Lau, Winfried Lamersdorf m. fl.
Häftad, 2013
522 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the Second European Conference on Service-Oriented and Cloud Computing, ESOCC 2013, held in Málaga, Spain, in September 2013. The 11 full papers presented together with 4 short papers were carefully reviewed and selected from 44 submissions. The …
Service-Oriented and Cloud Computing
Second European Conference, ESOCC 2013, Málaga, Spain, September 11-13, 2013, Proceedings
Av Ernesto Pimentel, Winfried Lamersdorf m. fl.
E-bok, 2013
657 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the Second European Conference on Service-Oriented and Cloud Computing, ESOCC 2013, held in Málaga, Spain, in September 2013. The 11 full papers presented together with 4 short papers were carefully reviewed and selected from 44 submissions. The …
Service-Oriented and Cloud Computing
Third European Conference, ESOCC 2014, Manchester, UK, September 2-4, 2014, Proceedings
Av Massimo Villari, Wolf Zimmermann m. fl.
Häftad, 2014
566 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the Third European Conference on Service-Oriented and Cloud computing, ESOCC 2014, held in Manchester, UK, in September 2014. The 13 papers presented were carefully reviewed and selected from 38 submissions. The papers are organized in topical …
Service-Oriented and Cloud Computing
Third European Conference, ESOCC 2014, Manchester, UK, September 2-4, 2014, Proceedings
Av Kung-Kiu Lau, Wolf Zimmermann m. fl.
E-bok, 2014
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the Third European Conference on Service-Oriented and Cloud computing, ESOCC 2014, held in Manchester, UK, in September 2014. The 13 papers presented were carefully reviewed and selected from 38 submissions. The papers are organized in topical …
INTRODUCTION TO COMPONENT-BASED SOFTWARE DEVELOPMENT, AN
Av Kung-Kiu Lau, Simone di Cola
Inbunden, 2017
1114 kr
Lägg i varukorg
The book provides a comprehensive coverage of the widely accepted desiderata of component-based software development, as well as the foundations that these desiderata necessitate. Its unique focus is on component models, the cornerstone of component-based software development. In addition, it …
COMPONENT-BASED SOFTWARE DEVELOPMENT: CASE STUDIES
Inbunden, 2004
2312 kr
Tillfälligt slut
Component-based software development (CBD) is an emerging discipline that promises to take software engineering into a new era. Building on the achievements of object-oriented software construction, CBD aims to deliver software engineering from a cottage industry into an industrial age for …
