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 Introduction to Thin Film Transistors by
Cover of the book Land Use Competition by
Cover of the book ZEMCH: Toward the Delivery of Zero Energy Mass Custom Homes by
Cover of the book Healthy Hair by
Cover of the book Women’s Lives in Contemporary French and Francophone Literature by
Cover of the book The Frequency-Following Response by
Cover of the book Movement in Renaissance Literature by
Cover of the book Novel Aspects of Diamond by
Cover of the book The Data Team™ Procedure: A Systematic Approach to School Improvement by
Cover of the book The Talent Industry by
Cover of the book Transactions on Computational Collective Intelligence XXX by
Cover of the book The Cultural Life of Capitalism in Yugoslavia by
Cover of the book Algorithmic and Experimental Methods in Algebra, Geometry, and Number Theory by
Cover of the book Thomas Robert Malthus by
Cover of the book The Pursuit of Happiness and the Traditions of Wisdom 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