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 UK Success Stories in Industrial Mathematics by
Cover of the book Hypertension and Stroke by
Cover of the book The Evolution of UN Sanctions by
Cover of the book The Theological Turn in Contemporary Gothic Fiction by
Cover of the book Computational Design of Rolling Bearings by
Cover of the book Computer and Information Science by
Cover of the book Cybernetics, Warfare and Discourse by
Cover of the book Computational Psychiatry by
Cover of the book Anesthesia for Cesarean Section by
Cover of the book Conflict Resolution Using the Graph Model: Strategic Interactions in Competition and Cooperation by
Cover of the book Whither Turbulence and Big Data in the 21st Century? by
Cover of the book Local Government Budget Stabilization by
Cover of the book Games and Learning Alliance by
Cover of the book Modern Thoraco-Lumbar Implants for Spinal Fusion by
Cover of the book Variational Analysis and Aerospace Engineering 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