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

Buch

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)

Versandfertig innerhalb 1-3 Werktagen

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


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.