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 Global LAnd Surface Satellite (GLASS) Products by
Cover of the book Challenging Sociality by
Cover of the book Text Mining by
Cover of the book Machine Learning and Knowledge Discovery in Databases by
Cover of the book Swansea and Nantgarw Porcelains by
Cover of the book Logics in Artificial Intelligence by
Cover of the book Hayek: A Collaborative Biography by
Cover of the book The Discreet Charm of Protein Binding Sites by
Cover of the book Humanizing Mathematics and its Philosophy by
Cover of the book The Digital Synaptic Neural Substrate by
Cover of the book Availability, Reliability, and Security in Information Systems by
Cover of the book AI*IA 2016 Advances in Artificial Intelligence by
Cover of the book Nuclear Pore Complexes in Genome Organization, Function and Maintenance by
Cover of the book Leadership in Surgery by
Cover of the book Glaucoma Surgery 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