Books > Computing & IT > Applications of computing > Artificial intelligence > Knowledge-based systems / expert systems
|
Buy Now
Formal Methods for Industrial Critical Systems - 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings (Paperback, 2011)
Loot Price: R1,549
Discovery Miles 15 490
|
|
Formal Methods for Industrial Critical Systems - 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings (Paperback, 2011)
Series: Programming and Software Engineering, 6959
Expected to ship within 10 - 15 working days
|
This book constitutes the proceedings of the 16th International
Workshop on Formal Methods for Industrial Critical Systems, FMICS
2011, held in Trento, Italy, in August 2011. The 16 papers
presented together with 2 invited talks were carefully reviewed and
selected from 39 submissions. The aim of the FMICS workshop series
is to provide a forum for researchers who are interested in the
development and application of formal methods in industry. It also
strives to promote research and development for the improvement of
formal methods and tools for industrial applications.
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.