FME '97 Industrial Applications and Strengthened Foundations of Formal Methods: 4th International Symposium of Formal Methods Europe, Graz, Austria, ... (Lecture Notes in Computer Science, 1313). Dieser Artikel ist nicht verfügbar.
Sprache: Englisch
Verlag: Springer, 1997
- Softcover
- Neu
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in mit 5 Sternen
Verkäufer:in bei ZVAB seit 25. März 2015
Nicht verfügbar
Softcover
Zustand: Neu
EUR 131,87
Artikelbeschreibung des Verkäufers
In English.
Bestandsnummer des Verkäufers ria9783540635338_new
- Titel
- FME '97 Industrial Applications and Strengthened Foundations of Formal Methods: 4th International Symposium of Formal Methods Europe, Graz, Austria, ... (Lecture Notes in Computer Science, 1313)
- Verlag
- Springer
- Erscheinungsjahr
- 1997
- Zustand
- New
- Einband
- Softcover
- Sprache
- Englisch
- ISBN-10
- 3540635335
- ISBN-13
- 9783540635338
- Artikelgewicht
- 1.097 Gramm
This book constitutes the refereed proceedings of FME '97, the 4th International Symposium of Formal Methods Europe devoted to Industrial Applications and Strengthened Foundations of Formal Methods , held in Graz, Austria, in September 1997. The 35 revised full papers presented in the volume were selected from a total of 94 submissions. Formal methods and mathematically based techniques are increasingly recognized as a viable technology for the development and engineering of computing systems. The majority of the papers in this volume describe industrial applications, extensions to existing techniques, or case studies; papers on theoretical aspects show clear potential applicability.
„Inhaltsangabe“ gehört möglicherweise zu einer anderen Auflage dieses Titels.