Your search returned 2 results.

Not what you expected? Check for suggestions

Results
	1.	FME 2002 : formal methods--getting IT right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 : proceedings / Lars-Henrik Eriksson, Peter Alexander Lindsay (eds.). by International Symposium of Formal Methods Europe (11th : 2002 : Copenhagen, Denmark) Eriksson, L.-H. (Lars-Henrik), 1960- Lindsay, Peter Alexander, 1957- Series: Lecture notes in computer science ; 2391. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2002 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	2.	Extensions of logic programming : second international workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991, proceedings / L.H. Eriksson, L. Hallnäs, P. SchroederHeister (eds.). by ELP '91 (1991 : Swedish Institute of Computer Science) Eriksson, L.-H. (Lars-Henrik), 1960- Hallnäs, Lars Schroeder-Heister, Peter Joseph, 1953- Series: Lecture notes in computer science ; 596. \| Lecture notes in computer science. Lecture notes in artificial intelligence. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©1992 Other title: ELP '91 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold

Refine your search