Books > Computing & IT > Computer programming > Software engineering
|
Buy Now
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. (Paperback, 1996 ed.)
Loot Price: R3,328
Discovery Miles 33 280
|
|
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. (Paperback, 1996 ed.)
Series: Lecture Notes in Computer Science, 1051
Expected to ship within 10 - 15 working days
|
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 documents the significant
progress in the use of formal methods for the solution of
real-world problems.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
You might also like..
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.