FME '96: Industrial Benefit and Advances in Formal Methods
Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18 - 22, 1996. Proceedings.
Mitarbeit:Gaudel, Marie-Claude; Woodcock, James C. P.
FME '96: Industrial Benefit and Advances in Formal Methods
Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18 - 22, 1996. Proceedings.
Mitarbeit:Gaudel, Marie-Claude; Woodcock, James C. P.
- Broschiertes Buch
- Merkliste
- Auf die Merkliste
- Bewerten Bewerten
- Teilen
- Produkt teilen
- Produkterinnerung
- Produkterinnerung
This book presents the refereed proceedings of the Third International Symposium of Formal Methods Europe, FME '96, held in Oxford, UK, in March 1996. FME '96 was co-sponsored by IFIP WG 14.3 and devoted to "the application and demonstrated industrial benefit of formal methods, their new horizons and strengthened foundations". The 35 full revised papers included were selected from a total of 103 submissions; also included are three invited papers. The book addresses all relevant aspects of formal methods, from the point of view of the industrial R & D professional as well as from the academic…mehr
- NaftalinFME '94: Industrial Benefit of Formal Methods79,99 €
- James C.P. Woodcock / Peter G. Larsen (eds.)FME '93: Industrial-Strength Formal Methods79,99 €
- FME '97 Industrial Applications and Strengthened Foundations of Formal Methods77,99 €
- AlurHybrid Systems III79,99 €
- Jose N. Oliveira / Pamela Zave (eds.)FME 2001: Formal Methods for Increasing Software Productivity80,99 €
- Susanne Graf / Laurent Mounier (Eds.)Model Checking Software40,99 €
- Richard S. Bird / C.Carroll Morgan / James C.P. Woodcock (eds.)Mathematics of Program Construction40,99 €
-
-
-
The 35 full revised papers included were selected from a total of 103 submissions; also included are three invited papers. The book addresses all relevant aspects of formal methods, from the point of view of the industrial R & D professional as well as from the academic viewpoint, and impressively documents the significant progress in the use of formal methods for the solution of real-world problems.
- Produktdetails
- Lecture Notes in Computer Science 1051
- Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
- Artikelnr. des Verlages: 978-3-540-60973-5
- 1996.
- Seitenzahl: 724
- Erscheinungstermin: 6. März 1996
- Englisch
- Abmessung: 235mm x 155mm x 39mm
- Gewicht: 954g
- ISBN-13: 9783540609735
- ISBN-10: 3540609733
- Artikelnr.: 09227770
- Lecture Notes in Computer Science 1051
- Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
- Artikelnr. des Verlages: 978-3-540-60973-5
- 1996.
- Seitenzahl: 724
- Erscheinungstermin: 6. März 1996
- Englisch
- Abmessung: 235mm x 155mm x 39mm
- Gewicht: 954g
- ISBN-13: 9783540609735
- ISBN-10: 3540609733
- Artikelnr.: 09227770