Editions

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

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

Lecture Notes in Computer Science

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

634 pages

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

Lecture Notes in Computer Science

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

632 pages

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

Lecture Notes in Computer Science

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

946 pages

nonfiction computer science design mathematics informative medium-paced