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
SFr. 86,49
exkl. MwSt.
Bestellware
Lieferdatum: ca. 31. Dez - 8. Jan 2026
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden
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. |
Weitere Titel von John Fitzgerald
Alle anzeigenAlle Titel von John Fitzgerald ansehen ( u. a. Taschenbuch , Gebundenes Buch und Buch )