
Freunden von diesem Artikel berichten:
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
John Fitzgerald
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
Alle Titel von John Fitzgerald ansehen ( u. a. Taschenbuch , Gebundenes Buch und Buch )