Produktbild
Jeannette M. (Hrsg.) Wing

FM'99 - Formal Methods

World Congress on Formal Methods in the Developement of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I

Ebook (PDF Format)

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)

Versandfertig innerhalb 1-3 Werktagen
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


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.