Books > Computing & IT > Social & legal aspects of computing > Human-computer interaction
|
Buy Now
FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings (Paperback, 2014 ed.)
Loot Price: R3,106
Discovery Miles 31 060
|
|
FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings (Paperback, 2014 ed.)
Series: Programming and Software Engineering, 8442
Expected to ship within 10 - 15 working days
|
This book constitutes the refereed proceedings of the 19th
International Symposium on Formal Methods, FM 2014, held in
Singapore, May 2014. The 45 papers presented together with 3
invited talks were carefully reviewed and selected from 150
submissions. The focus of the papers is on the following topics:
Interdisciplinary Formal Methods, Practical Applications of Formal
Methods in Industrial and Research Settings, Experimental
Validation of Tools and Methods as well as Construction and
Evolution of Formal Methods Tools.
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.