Fme '97: Industrial Applications and Strengthened Foundations of Formal Methods: 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997: Proceedings - Lecture Notes in Computer Science - John Fitzgerald - Bücher - Springer-Verlag Berlin and Heidelberg Gm - 9783540635338 - 3. September 1997
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

Fme '97: Industrial Applications and Strengthened Foundations of Formal Methods: 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997: Proceedings - Lecture Notes in Computer Science

John Fitzgerald

Preis
Íkr 15.599
exkl. MwSt.

Bestellware

Lieferdatum: ca. 30. Jun - 11. Jul
Zu deiner iMusic Wunschliste hinzufügen

Fme '97: Industrial Applications and Strengthened Foundations of Formal Methods: 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997: Proceedings - Lecture Notes in Computer Science

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 35 papers in this volume describe industrial applications, extensions to existing techniques, or case studies.


694 pages, biography

Medien Bücher     Taschenbuch   (Buch mit Softcover und geklebtem Rücken)
Erscheinungsdatum 3. September 1997
ISBN13 9783540635338
Verlag Springer-Verlag Berlin and Heidelberg Gm
Seitenanzahl 694
Maße 156 × 234 × 35 mm   ·   975 g
Sprache Deutsch  
Redakteur Fitzgerald, J. (University of Newcastle-upon-tyne)
Redakteur Jones, C.b.
Redakteur Lucas, P.

Alle anzeigen

Weitere Titel von John Fitzgerald