You need to sign in or sign up before continuing.

Browse editions

Current edition
Fme 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, P by

Fme 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, P

Lecture Notes in Computer Science

634 pages • paperback

nonfiction computer science design mathematics informative medium-paced
Other editions (2)
Expand filter menu Filter editions
Fme 2002: Formal Methods - Getting It Right: International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings by

Fme 2002: Formal Methods - Getting It Right: International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings

Lecture Notes in Computer Science

632 pages • paperback

nonfiction computer science design mathematics informative medium-paced
Fme 2003: Formal Methods: International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings by

Fme 2003: Formal Methods: International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings

Lecture Notes in Computer Science

946 pages • paperback

nonfiction computer science design mathematics informative medium-paced