|
Books > Computing & IT > Computer programming > Programming languages
|
Buy Now
Formal Methods: Foundations and Applications - 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings (Paperback, 1st ed. 2016)
Loot Price: R1,843
Discovery Miles 18 430
|
|
|
Formal Methods: Foundations and Applications - 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings (Paperback, 1st ed. 2016)
Series: Programming and Software Engineering, 9526
Expected to ship within 10 - 15 working days
|
This book constitutes revised selected papers from the 18th
Brazilian Symposium on Formal Methods, SBMF 2015, which took place
in Belo Horizonte, Brazil, in September 2015. The 11 papers
presented in this volume were carefully reviewed and selected from
25 submissions. They were organized in topical sections named:
model checking; languages and semantics; refinement and
verification; testing and evaluation.
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
