You need to sign in or sign up before continuing.

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 missing pub info (view editions)

nonfiction computer science design mathematics informative medium-paced
Powered by AI (Beta)
Loading...

Description

This volume contains the proceedings of the 2002 symposium Formal Methods th Europe (FME 2002). The symposium was the 11 in a series that began with a VDM Europe symposium in 1987. The symposia are traditionally held every 18 months. In 2002 the s...

Read more

Community Reviews

Loading...

Content Warnings

Loading...