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 Exploring Omnichannel Retailing by
Cover of the book Central European Functional Programming School by
Cover of the book Inside PixInsight by
Cover of the book 3D Microelectronic Packaging by
Cover of the book Mary Somerville and the World of Science by
Cover of the book Learning in Public Policy by
Cover of the book Wireless Coordinated Multicell Systems by
Cover of the book Proceedings of First International Conference on Information and Communication Technology for Intelligent Systems: Volume 2 by
Cover of the book Business Process Management by
Cover of the book Similarity Search and Applications by
Cover of the book Cellular Automata and Discrete Complex Systems by
Cover of the book Development Aid and Adaptation to Climate Change in Developing Countries by
Cover of the book Proceedings of the Eleventh International Conference on Management Science and Engineering Management by
Cover of the book Tailored Wealth Management by
Cover of the book Saproxylic Insects 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