Maurice Bruynooghe – författare
Visar alla böcker från författaren Maurice Bruynooghe. Handla med fri frakt och snabb leverans.
8 produkter
Program Development in Computational Logic
A Decade of Research Advances in Logic-Based Program Development
Av Maurice Bruynooghe, Kung-Kiu Lau
Häftad, 2004
568 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 …
Logic Based Program Synthesis and Transformation
13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers
Häftad, 2004
568 kr
Lägg i varukorg
This volume contains selected papers from LOPSTR 2003, the 13th Inter- tional Symposium on Logic-Based Program Synthesis and Transformation. The LOPSTR series is devoted to research in logic-based program development. P- ticular topics of interest are speci?cation, synthesis, veri?cation, …
Logic Based Program Synthesis and Transformation
13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers
E-bok, 2004
755 kr
Lägg i varukorg
This volume contains selected papers from LOPSTR 2003, the 13th Inter- tional Symposium on Logic-Based Program Synthesis and Transformation. The LOPSTR series is devoted to research in logic-based program development. P- ticular topics of interest are speci?cation, synthesis, veri?cation, …
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 …
Programming Language Implementation and Logic Programming
4th International Symposium, PLILP ’92, Leuven, Belgium, August 26–28, 1992 Proceedings
Av Maurice Bruynooghe, Martin Wirsing
Häftad, 1992
568 kr
Lägg i varukorg
This volume contains the papers accepted for presentation atthe Fourth International Symposium on Programming LanguageImplementation and Logic Programming (PLILP '92) held inLeuven, Belgium, August 26-28, 1992.Theaim of the symposium was to explore new declarativeconcepts, methods and techniques …
Programming Language Implementation and Logic Programming
5th International Symposium, PLILP '93, Tallinn, Estonia, August 25-27, 1993. Proceedings
Av Maurice Bruynooghe, Jaan Penjam
Häftad, 1993
568 kr
Lägg i varukorg
This volume contains the proceedings of the FifthInternational Symposium onProgramming LanguageImplementation and Logic Programming (PLILP '93), held inTallinn, Estonia, in August 1993. The series of PLILPsymposiums was established to promote contacts andinformation exchange among scientists who …
