Books > Computing & IT > Computer programming > Programming languages
|
Buy Now
Formal Methods and Software Engineering - 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings (Paperback, 2009 ed.)
Loot Price: R2,929
Discovery Miles 29 290
|
|
Formal Methods and Software Engineering - 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings (Paperback, 2009 ed.)
Series: Lecture Notes in Computer Science, 5885
Expected to ship within 10 - 15 working days
|
Donate to Against Period Poverty
Total price: R2,949
Discovery Miles: 29 490
|
Formal methods for development of computer systems have been
extensively studied over the years. A range of semantic theories,
speci?cation languages, design techniques, and veri?cation methods
and tools have been developed and applied to the construction of
programs used in critical applications. The ch- lenge now is to
scale up formal methods and integrate them into engineering -
velopment processes for the correct and e?cient construction and
maintenance of computer systems in general. This requires us to
improve the state of the art on approaches and techniques for
integration of formal methods into industrial engineering practice,
including new and emerging practice. The now long-established
series of International Conferences on Formal - gineering Methods
brings together those interested in the application of formal
engineering methods to computer systems. Researchers and
practitioners, from industry, academia, and government, are
encouraged to attend and to help - vance the state of the art. This
volume contains the papers presented at ICFEM 2009, the 11th
International Conference on Formal Engineering Methods, held during
December 9-11, in Rio de Janeiro, Brazil.
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!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.