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 Progress in Cryptology -- INDOCRYPT 2015 by
Cover of the book The Violence of Democracy by
Cover of the book Advanced Information Systems Engineering by
Cover of the book Advanced Methods in the Fractional Calculus of Variations by
Cover of the book Cell Therapy by
Cover of the book Incompressible Bipolar and Non-Newtonian Viscous Fluid Flow by
Cover of the book Biblical Principles of Leading and Managing Employees by
Cover of the book Information Security and Cryptology by
Cover of the book The Pedagogy of English as an International Language by
Cover of the book Democracy and an Open-Economy World Order by
Cover of the book Euro-Par 2016: Parallel Processing Workshops by
Cover of the book Animal Models of Acute Neurological Injury by
Cover of the book CO2-Reservoir Oil Miscibility by
Cover of the book Primer Effects by Murine Pheromone Signaling by
Cover of the book Neurolaw 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