Books > Computing & IT > Computer programming > Programming languages
|
Buy Now
Formal Methods: Foundations and Applications - 17th Brazilian Symposium, SBMF 2014, Maceio, AL, Brazil, September 29--October 1, 2014. Proceedings (Paperback, 2015 ed.)
Loot Price: R1,841
Discovery Miles 18 410
|
|
Formal Methods: Foundations and Applications - 17th Brazilian Symposium, SBMF 2014, Maceio, AL, Brazil, September 29--October 1, 2014. Proceedings (Paperback, 2015 ed.)
Series: Lecture Notes in Computer Science, 8941
Expected to ship within 10 - 15 working days
|
This book constitutes the thoroughly refereed post-conference
proceedings of the 17th Brazilian Symposium on Formal Methods, SBMF
2014, held in Maceio, Brazil, in September/October 2014. The 9
revised full papers presented together with 2 invited talks were
carefully reviewed and selected from 34 submissions. SBMF is an
event devoted to the dissemination of the development and use of
formal methods for the construction of high quality computational
systems, aiming to promote opportunities for researchers with
interests in formal methods to discuss the recent advances in this
area.
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.