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 paperback

3 editions

nonfiction computer science design mathematics informative medium-paced
More Options

Read With Others

Book Information

Powered by AI (Beta)
Loading...

Description

ThisvolumecontainstheproceedingsofFM2003, the12thInternationalFormal Methods Europe Symposium which was held in Pisa, Italy on September 8-14, 2003. Formal Methods Europe (FME, www. fmeurope. org) is an independent - sociation which aims to stimul...

Show More

Community Reviews

Loading...

Content Warnings

Loading...