FM'99 - Formal Methods
World Congress on Formal Methods in the Developement of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I
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 show how formal methods have been used to tackle real problems. These proceedings are a record of the technical symposium…
Mehr
CHF 165.50
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
Versandkostenfrei
Produktdetails
Weitere Autoren: Woodcook, Jim (Hrsg.) / Davies, Jim (Hrsg.)
- ISBN: 978-3-540-48119-5
- EAN: 9783540481195
- Produktnummer: 37146279
- Verlag: Springer Berlin Heidelberg
- Sprache: Englisch
- Erscheinungsjahr: 2003
- Seitenangabe: 940 S.
- Plattform: PDF
- Auflage: 1999
- Reihenbandnummer: 1708
4 weitere Werke von Jeannette M. (Hrsg.) Wing:
Bewertungen
Anmelden