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 166.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V301:
Libri-Titel folgt in ca. 2 Arbeitstagen
Produktdetails
Weitere Autoren: Woodcook, Jim (Hrsg.) / Davies, Jim (Hrsg.)
- ISBN: 978-3-540-66587-8
- EAN: 9783540665878
- Produktnummer: 17964503
- Verlag: Springer-Verlag GmbH
- Sprache: Englisch
- Erscheinungsjahr: 1999
- Seitenangabe: 937 S.
- Masse: H23.6 cm x B15.7 cm x D5.5 cm 1'439 g
- Auflage: 1999. 1999
- Abbildungen: Book; Bibliographie
- Reihenbandnummer: 1708
- Gewicht: 1439
4 weitere Werke von Jeannette M. (Hrsg.) Wing:
Bewertungen
Anmelden