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 Clinician's Manual on Migraine by
Cover of the book Gender Diversity in the Boardroom by
Cover of the book Eduard Bernstein on Social Democracy and International Politics by
Cover of the book Censorship and Heresy in Revolutionary England and Counter-Reformation Rome by
Cover of the book Vehicle Dynamics by
Cover of the book Trusted Systems by
Cover of the book The Nature and Function of Intuitive Thought and Decision Making by
Cover of the book Key Diagnostic Features in Uroradiology by
Cover of the book Strain Gradient Plasticity-Based Modeling of Damage and Fracture by
Cover of the book Molecular Pathology in Clinical Practice by
Cover of the book Issues in Science and Theology: What is Life? by
Cover of the book Advanced Materials by
Cover of the book Macroevolution by
Cover of the book Photon Management Assisted by Surface Waves on Photonic Crystals by
Cover of the book Advanced Hybrid and Electric Vehicles 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