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 Polyoxometalate-Based Assemblies and Functional Materials by
Cover of the book Advances in Intelligent Systems and Computing by
Cover of the book Augmented Cognition by
Cover of the book Grasp Interaction with Tablets by
Cover of the book Algorithms from and for Nature and Life by
Cover of the book Detonation Control for Propulsion by
Cover of the book Processing of Polymer-based Nanocomposites by
Cover of the book Informatics in Control, Automation and Robotics by
Cover of the book The PKK-Kurdistan Workers’ Party’s Regional Politics by
Cover of the book Coleridge's Dejection Ode by
Cover of the book Applied Dynamics by
Cover of the book Patient Reported Outcome Measures in Rheumatic Diseases by
Cover of the book The Ixodid Ticks (Acari: Ixodidae) of Southern Africa by
Cover of the book Military Logistics by
Cover of the book ICT Diffusion in Developing Countries 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