Related Books
Language: en
Pages: 712
Pages: 712
Type: BOOK - Published: 1993 - Publisher: Springer Science & Business Media
The last few years have borne witness to a remarkable diversity of formal methods, with applications to sequential and concurrent software, to real-time and rea
Language: en
Pages:
Pages:
Type: BOOK - Published: 1993 - Publisher:
Language: en
Pages: 695
Pages: 695
Type: BOOK - Published: 2014-03-12 - Publisher: Springer
The last few years have borne witness to a remarkable diversity of formal methods, with applications to sequential and concurrent software, to real-time and rea
Language: en
Pages: 956
Pages: 956
Type: BOOK - Published: 2003-10-02 - Publisher: Springer
ThisvolumecontainstheproceedingsofFM2003,the12thInternationalFormal Methods Europe Symposium which was held in Pisa, Italy on September 8–14, 2003. Formal Met
Language: en
Pages: 724
Pages: 724
Type: BOOK - Published: 1996-03-06 - Publisher: Springer Science & Business Media
This book presents the refereed proceedings of the Third International Symposium of Formal Methods Europe, FME '96, held in Oxford, UK, in March 1996. FME '96 w