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 Practical Decision Making using Super Decisions v3 by
Cover of the book Hemodiafiltration by
Cover of the book Progress in Cryptology -- INDOCRYPT 2015 by
Cover of the book Computational Science and Its Applications – ICCSA 2017 by
Cover of the book Urban Disaster Resilience and Security by
Cover of the book Voting Procedures for Electing a Single Candidate by
Cover of the book The Conversational Interface by
Cover of the book Sustainable Agricultural Development by
Cover of the book Stress Fractures in Athletes by
Cover of the book Rethinking Place Branding by
Cover of the book The Presidential System in Turkey by
Cover of the book The Philosophy of Science and Engineering Design by
Cover of the book Software Design for Resilient Computer Systems by
Cover of the book Handbook of Behavioral Criminology by
Cover of the book Renewal Theory for Perturbed Random Walks and Similar Processes 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