.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
FME'96
. Ed(S): Gaudel, M-.C.; Woodcock, J. C. P.
€ 139.31
FREE Delivery in Ireland
Description for FME'96
paperback. These conference proceedings address all relevant aspects of formal methods, from the point of view of the industrial R&D professional, as well as from the academic viewpoint. They also document progress in the use of formal methods for the solution of real-world problems. Editor(s): Gaudel, M-.C.; Woodcock, J. C. P. Series: Lecture Notes in Computer Science. Num Pages: 711 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 36. Weight in Grams: 998.
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 viewpoint, and impressively ... Read more
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 viewpoint, and impressively ... Read more
Product Details
Format
Paperback
Publication date
1996
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
711
Condition
New
Series
Lecture Notes in Computer Science
Number of Pages
711
Place of Publication
Berlin, Germany
ISBN
9783540609735
SKU
V9783540609735
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for FME'96