Software Engineering and Formal Methods

13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. 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: 9783319229690
Publisher: Springer International Publishing Publication: August 23, 2015
Imprint: Springer Language: English
Author:
ISBN: 9783319229690
Publisher: Springer International Publishing
Publication: August 23, 2015
Imprint: Springer
Language: English

This book constitutes the refereed proceedings of the 13th International Conference on Software Engineering and Formal Methods, SEFM 2015, held in York, UK, in September 2015.

The 17 full papers presented together with 2 invited and 6 short papers were carefully reviewed and selected from 96 submissions. The topics of interest included the following aspects of software engineering and formal methods: program verification, testing, certification, formal specification and proof, testing and model checking, planning, modelling, and model transformation.

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 13th International Conference on Software Engineering and Formal Methods, SEFM 2015, held in York, UK, in September 2015.

The 17 full papers presented together with 2 invited and 6 short papers were carefully reviewed and selected from 96 submissions. The topics of interest included the following aspects of software engineering and formal methods: program verification, testing, certification, formal specification and proof, testing and model checking, planning, modelling, and model transformation.

More books from Springer International Publishing

Cover of the book A Kaleidoscopic View of Graph Colorings by
Cover of the book Energy Harvesting for Self-Powered Wearable Devices by
Cover of the book Interactive Theorem Proving by
Cover of the book Making Value and Career Building in the Creative Economy by
Cover of the book Domestication of Radiata Pine by
Cover of the book Creating Marketing Magic and Innovative Future Marketing Trends by
Cover of the book New Trends in Model and Data Engineering by
Cover of the book Poverty in the United States by
Cover of the book How British Rule Changed India’s Economy by
Cover of the book Economies of Collaboration in Performance by
Cover of the book Cognitive Interference Management in Heterogeneous Networks by
Cover of the book Controllability and Minimum Energy Control by
Cover of the book DNA Computing and Molecular Programming by
Cover of the book Geometric Function Theory in Higher Dimension by
Cover of the book Neuropsychological Formulation 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