Books > Computing & IT > Computer programming > Programming languages
|
Buy Now
Formal Methods: Foundations and Applications - 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings (Paperback, 1st ed. 2016)
Loot Price: R2,175
Discovery Miles 21 750
|
|
Formal Methods: Foundations and Applications - 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings (Paperback, 1st ed. 2016)
Series: Programming and Software Engineering, 10090
Expected to ship within 10 - 15 working days
|
This book constitutes the refereed proceedings of the 19th
Brazilian Symposium on Formal Methods, SBMF 2016, which took place
in Natal, Brazil, in November 2016. The 12 papers presented
together with two invited talks were carefully reviewed and
selected from 22 submissions. They are organized in the following
topical sections: analysis and verification; modeling and logic;
and model checking.
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.