Formal Methods: Foundations and Applications

20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings

Nonfiction, Computers, Advanced Computing, Computer Science, Programming, Software Development, General Computing
Cover of the book Formal Methods: Foundations and Applications by , Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9783319708485
Publisher: Springer International Publishing Publication: November 17, 2017
Imprint: Springer Language: English
Author:
ISBN: 9783319708485
Publisher: Springer International Publishing
Publication: November 17, 2017
Imprint: Springer
Language: English

This book constitutes the refereed proceedings of the 20th Brazilian Symposium on Formal Methods, SBMF 2017, which took place in Recifel, Brazil, in November/December 2017.

The 16 papers presented together with three invited talks were carefully reviewed and selected from 37 submissions. They are organized in the following topical sections: formal methods integration and experience reports; model checking; refinement and verification; and semantics and languages.

The chapter 'Rapidly Adjustable Non-Intrusive Online Monitoring for Multi-core Systems' is published open access under a CC BY 4.0 license.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

This book constitutes the refereed proceedings of the 20th Brazilian Symposium on Formal Methods, SBMF 2017, which took place in Recifel, Brazil, in November/December 2017.

The 16 papers presented together with three invited talks were carefully reviewed and selected from 37 submissions. They are organized in the following topical sections: formal methods integration and experience reports; model checking; refinement and verification; and semantics and languages.

The chapter 'Rapidly Adjustable Non-Intrusive Online Monitoring for Multi-core Systems' is published open access under a CC BY 4.0 license.

More books from Springer International Publishing

Cover of the book Innovative Approaches to Supporting Families of Young Children by
Cover of the book The Fascination of Probability, Statistics and their Applications by
Cover of the book Marginal(ized) Prospects through Biblical Ritual and Law by
Cover of the book From Classical to Modern Analysis by
Cover of the book RFID Technologies for Internet of Things by
Cover of the book School Memories by
Cover of the book The New Eastern Mediterranean by
Cover of the book Information Technology for Management: Emerging Research and Applications by
Cover of the book Integration of AI and OR Techniques in Constraint Programming by
Cover of the book On Running and Becoming Human by
Cover of the book Bioremediation of Selenium Contaminated Wastewater by
Cover of the book Craft Beverages and Tourism, Volume 1 by
Cover of the book Context-Enhanced Information Fusion by
Cover of the book International Adoption in North American Literature and Culture by
Cover of the book Technology and the Intelligence Community by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy