Books > Computing & IT > Computer programming > Programming languages
|
Buy Now
Formal Methods: Foundations and Applications - 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings (Paperback, 1st ed. 2018)
Loot Price: R1,811
Discovery Miles 18 110
|
|
Formal Methods: Foundations and Applications - 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings (Paperback, 1st ed. 2018)
Series: Programming and Software Engineering, 11254
Expected to ship within 10 - 15 working days
|
This book constitutes the refereed proceedings of the 21st
Brazilian Symposium on Formal Methods, SBMF 2018, which took place
in Salvador, Brazil, in November 2018. The 16 regular papers
presented in this book were carefully reviewed and selected from 30
submissions. The papers are organized in topical sections such as:
techniques and methodologies; specification and modeling languages;
theoretical foundations; verification and validation; experience
reports regarding teaching formal methods; and applications.Chapter
"TeSSLa: Temporal Stream-Based Specification Language" is available
open access under a Creative Commons Attribution 4.0 International
License via link.springer.com.
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.