Logic Based Program Synthesis and Transformation

10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers

AvKung-Kiu Lau

E-bok

PDF, Engelska, 2003

734 kr

Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).

Produktinformation

Utgivningsdatum:2003-06-29
Språk:Engelska
Filformat:PDF
Kopieringsskydd:LCP
ISBN:9783540451426
Förlag:Springer Berlin Heidelberg

Utforska kategorier

Du kanske också är intresserad av

Logic Program Synthesis and Transformation

Timothy P. Clement, Kung-Kiu Lau

E-bok

2013

732 kr

Logic Based Program Synthesis and Transformation

Kung-Kiu Lau

Häftad, 2001

560 kr

Logic Program Synthesis and Transformation

Kung-Kiu Lau, Timothy P. Clement

E-bok

2013

732 kr

Program Development in Computational Logic

Maurice Bruynooghe, Kung-Kiu Lau

Häftad, 2004

560 kr

Service-Oriented and Cloud Computing

Kung-Kiu Lau, Winfried Lamersdorf, Ernesto Pimentel

Häftad, 2013

516 kr

Logic Program Synthesis and Transformation

Kung-Kiu Lau, Timothy P. Clement

Häftad, 1993

560 kr

Formal Methods and Software Engineering

Richard Banach, Kung-Kiu Lau

E-bok

2005

732 kr

Computational Logic — CL 2000

John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luis M. Pereira, Yehoshua Sagiv, Peter J. Stuckey

660 kr

Computational Logic - CL 2000

Peter J. Stuckey, Yehoshua Sagiv, Luis M. Pereira, Catuscia Palamidessi, Kung-Kiu Lau, Manfred Kerber, Ulrich Furbach, Veronica Dahl, John Lloyd

E-bok

2003

732 kr

Program Development in Computational Logic : A Decade of Research Advances in Logic-Based Program Development

Maurice Bruynooghe, Kung-Kiu Lau

665 kr