Stock image for illustration purposes only - book cover, edition or condition may vary.
FME '93: Industrial-Strength Formal Methods: First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993. Proceedings
. Ed(S): Woodcock, J. C. P.; Larsen, Peter Gorm
€ 138.46
FREE Delivery in Ireland
Description for FME '93: Industrial-Strength Formal Methods: First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993. Proceedings
paperback. The symposium upon which this text is based focuses on the application of industrial-strength formal methods. The papers address the difficulties of scaling techniques up to industrial-sized problems, and their suitability in the workplace. Editor(s): Woodcock, J. C. P.; Larsen, Peter Gorm. Series: Lecture Notes in Computer Science. Num Pages: 695 pages, biography. BIC Classification: UFC; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 233 x 155 x 36. Weight in Grams: 2170.
The last few years have borne witness to a remarkable diversity of formal methods, with applications to sequential and concurrent software, to real-time and reactive systems, and to hardware design. In that time, many theoretical problems have been tackled and solved, and many continue to be worked upon. Yet it is by the suitability of their industrial application and the extent of their usage that formal methods will ultimately be ... Read more
The last few years have borne witness to a remarkable diversity of formal methods, with applications to sequential and concurrent software, to real-time and reactive systems, and to hardware design. In that time, many theoretical problems have been tackled and solved, and many continue to be worked upon. Yet it is by the suitability of their industrial application and the extent of their usage that formal methods will ultimately be ... Read more
Product Details
Format
Paperback
Publication date
1993
Publisher
Springer Germany
Number of pages
695
Condition
New
Series
Lecture Notes in Computer Science
Number of Pages
695
Place of Publication
Berlin, Germany
ISBN
9783540566625
SKU
V9783540566625
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for FME '93: Industrial-Strength Formal Methods: First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993. Proceedings