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 The Return of Vaman - A Scientific Novel by
Cover of the book Visual Attributes by
Cover of the book Psychological, Emotional, Social and Cognitive Aspects of Implantable Cardiac Devices by
Cover of the book Biomedical Engineering Systems and Technologies by
Cover of the book The European Gas Markets by
Cover of the book Energy Efficient Solvents for CO2 Capture by Gas-Liquid Absorption by
Cover of the book Culture, Diversity and Heritage: Major Studies by
Cover of the book Structural Mechanics of Anti-Sandwiches by
Cover of the book Privately and Publicly Verifiable Computing Techniques by
Cover of the book Advances in Intelligent Process-Aware Information Systems by
Cover of the book Ethics and Neuromarketing by
Cover of the book Applied Mechanics, Behavior of Materials, and Engineering Systems by
Cover of the book Evaluating Employee Performance through Christian Virtues by
Cover of the book JIMD Reports - Volume 12 by
Cover of the book Cultural Distance in International Ventures 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