Formal Methods and Software Engineering

7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings

AvRichard Banach,Kung-Kiu Lau

E-bok

PDF, Engelska, 2005

732 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:2005-10-25
Språk:Engelska
Filformat:PDF
Kopieringsskydd:LCP
ISBN:9783540322504
Förlag:Springer Berlin Heidelberg

Utforska kategorier

Du kanske också är intresserad av

Formal Methods and Software Engineering

Kung-Kiu Lau, Richard Banach

Häftad, 2005

560 kr

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

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

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

Maurice Bruynooghe, Kung-Kiu Lau

665 kr

Logic Program Synthesis and Transformation

Kung-Kiu Lau, Timothy P. Clement

Häftad, 1993

560 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

Logic Based Program Synthesis and Transformation

Kung-Kiu Lau

E-bok

2003

734 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