Skip to main content alibris logo

FM'99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, Volume II

by , ,

Write The First Customer Review
Fm'99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, Volume II - Wing, Jeannette M (Editor), and Woodcook, Jim (Editor), and Davies, Jim (Editor)
Filter Results
Shipping
Item Condition
Seller Rating
Other Options
Change Currency

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 industrial and governmental organisations. A transfer of technology into the mainstream of systems development is slowly, but surely, taking place. FM'99, the First World Congress on Formal Methods in the Development of Computing Systems, is a result, and a measure, of this new-found maturity. It brings an impressive array of industrial and applications-oriented papers that ...

loading
Fm'99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, Volume II 1999, Springer, Berlin, Heidelberg

ISBN-13: 9783540665885

1999 edition

Trade paperback