Related Books
Language: en
Pages: 706
Pages: 706
Type: BOOK - Published: 1997-09-03 - Publisher: Lecture Notes in Computer Science
This book constitutes the refereed proceedings of FME '97, the 4th International Symposium of Formal Methods Europe devoted to Industrial Applications and Stren
Language: en
Pages: 684
Pages: 684
Type: BOOK - Published: 1997 - Publisher:
Language: en
Pages: 694
Pages: 694
Type: BOOK - Published: 2014-03-12 - Publisher: Springer
This book constitutes the refereed proceedings of FME '97, the 4th International Symposium of Formal Methods Europe devoted to Industrial Applications and Stren
Language: en
Pages: 955
Pages: 955
Type: BOOK - Published: 2003-08-27 - Publisher: Springer Science & Business Media
This book constitutes the refereed proceedings of the International Symposium of Formal Methods Europe, FME 2003, held in Pisa, Italy in September 2003. The 44
Language: en
Pages: 955
Pages: 955
Type: BOOK - Published: 2003-07-31 - Publisher: Springer
Formal methods are coming of age. Mathematical techniques and tools are now regarded as an important part of the development process in a wide range of industri