Buy Used and New Lars-Henrik Eriksson Books

FME 2002: Formal Methods - Getting IT Right: International Symposium of Formal Methods Europe Copenhagen, Denmark, July 22-24, 2002 Proceedings: 2391 (Lecture Notes in Computer Science)

by Lars-Henrik Eriksson,Peter A. Lindsay

ISBN 13: 9783540439288

Format: Paperback (625 pages)
Publisher: Springer
Published: 10 Jul 2002

Save for later

Extensions of Logic Programming: Second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991. Proceedings: 596 (Lecture Notes in Computer Science)

by Peter Schroeder-Heister,Lars-Henrik Eriksson,Lars Halln??s

ISBN 13: 9783540554981

Format: Paperback (384 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later