Software Engineering and Formal Methods

16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings

Nonfiction, Computers, Programming, Software Development, Programming Languages, General Computing
Cover of the book Software Engineering and Formal Methods 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: 9783319929705
Publisher: Springer International Publishing Publication: June 18, 2018
Imprint: Springer Language: English
Author:
ISBN: 9783319929705
Publisher: Springer International Publishing
Publication: June 18, 2018
Imprint: Springer
Language: English

This book constitutes the refereed proceedings of the 16th International Conference on Software Engineering and Formal Methods, SEFM 2018, held as part of STAF 2018, in Toulouse, France, in June 2018.
The 17 full papers presented in this book were carefully reviewed and selected from 58 submissions. The papers deal with a large range of topics in the following research areas: specification; concurrency; program analysis; model checking and runtime verification; applications; and shape analysis and reuse.

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 16th International Conference on Software Engineering and Formal Methods, SEFM 2018, held as part of STAF 2018, in Toulouse, France, in June 2018.
The 17 full papers presented in this book were carefully reviewed and selected from 58 submissions. The papers deal with a large range of topics in the following research areas: specification; concurrency; program analysis; model checking and runtime verification; applications; and shape analysis and reuse.

More books from Springer International Publishing

Cover of the book Handbook of Missing Persons by
Cover of the book Web Technologies and Applications by
Cover of the book Autonomous Agents and Multiagent Systems by
Cover of the book Ted Hughes, Nature and Culture by
Cover of the book Biological Measures of Human Experience across the Lifespan by
Cover of the book Science Gateways for Distributed Computing Infrastructures by
Cover of the book Strengthening Local Governance in Bangladesh by
Cover of the book FPGAs and Parallel Architectures for Aerospace Applications by
Cover of the book Political Power in Spain by
Cover of the book The Structure and Evolution of the Sun by
Cover of the book Visualizing the Data City by
Cover of the book Modeling and Analysis of Linear Hyperbolic Systems of Balance Laws by
Cover of the book Emerging Methods in Family Research by
Cover of the book Corporatizing Rural Education by
Cover of the book Impossibility in Modern Private Law 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