|
Books > Computing & IT > Computer programming > Programming languages
|
Buy Now
Formal Methods: Foundations and Applications - 14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings (Paperback, 2011)
Loot Price: R1,806
Discovery Miles 18 060
|
|
|
Formal Methods: Foundations and Applications - 14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings (Paperback, 2011)
Series: Lecture Notes in Computer Science, 7021
Expected to ship within 10 - 15 working days
|
This book constitutes the thoroughly refereed post-conference
proceedings of the 14th Brazilian Symposium on Formal Methods, SBMF
2011, held in Sao Paulo, Brazil, in September 2011; co-located with
CBSoft 2011, the second Brazilian Conference on Software: Theory
and Practice. The 13 revised full papers were carefully reviewed
and selected from 37 submissions. The papers presented cover a
broad range of foundational and methodological issues in formal
methods for the design and analysis of software and hardware
systems as well as applications in various domains.
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.
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
