Software Engineering and Formal Methods

14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings

Nonfiction, Computers, Programming, Software Development, 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: 9783319415918
Publisher: Springer International Publishing Publication: June 22, 2016
Imprint: Springer Language: English
Author:
ISBN: 9783319415918
Publisher: Springer International Publishing
Publication: June 22, 2016
Imprint: Springer
Language: English

This book constitutes the proceedings of the 14th International Conference on Software Engineering and Formal Methods, SEFM 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016.
The 20 full and 5 short papers presented in this volume were carefully reviewed and selected from 88 submissions. They were organized in topical sections named: concurrency and non-interference; program analysis; model checking; verification; interaction and adaptation; and development methods.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

This book constitutes the proceedings of the 14th International Conference on Software Engineering and Formal Methods, SEFM 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016.
The 20 full and 5 short papers presented in this volume were carefully reviewed and selected from 88 submissions. They were organized in topical sections named: concurrency and non-interference; program analysis; model checking; verification; interaction and adaptation; and development methods.

More books from Springer International Publishing

Cover of the book N=2 Supersymmetric Dynamics for Pedestrians by
Cover of the book Strategies to Enhance the Therapeutic Ratio of Radiation as a Cancer Treatment by
Cover of the book Trends in Contemporary Mathematics by
Cover of the book A Method of Fundamental Solutions in Poroelasticity to Model the Stress Field in Geothermal Reservoirs by
Cover of the book The Boundaries of Belonging by
Cover of the book Spin-Orbit-Induced Spin Textures of Unoccupied Surface States on Tl/Si(111) by
Cover of the book Respiratory Mechanics by
Cover of the book Evolution of Artificial Neural Development by
Cover of the book Principles of Performance and Reliability Modeling and Evaluation by
Cover of the book Computational Diffusion MRI and Brain Connectivity by
Cover of the book Excel 2016 for Physical Sciences Statistics by
Cover of the book Application of Systems Thinking to Health Policy & Public Health Ethics by
Cover of the book Soil by
Cover of the book Eye Tracking Methodology by
Cover of the book Tourism in Transitions 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