Formal Methods and Software Engineering

18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings

Nonfiction, Computers, Programming, Software Development, General Computing
Cover of the book Formal Methods and Software Engineering 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: 9783319478463
Publisher: Springer International Publishing Publication: October 31, 2016
Imprint: Springer Language: English
Author:
ISBN: 9783319478463
Publisher: Springer International Publishing
Publication: October 31, 2016
Imprint: Springer
Language: English

This book constitutes the refereed proceedings of the 18th International Conference on Formal Engineering Methods, ICFEM 2016, held in Tokyo, Japan, in November 2016. The 27 revised full papers presented together with three invited talks were carefully reviewed and selected from 64 submissions. The conference focuses in all areas related to formal engineering meth-ods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability.

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 18th International Conference on Formal Engineering Methods, ICFEM 2016, held in Tokyo, Japan, in November 2016. The 27 revised full papers presented together with three invited talks were carefully reviewed and selected from 64 submissions. The conference focuses in all areas related to formal engineering meth-ods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability.

More books from Springer International Publishing

Cover of the book Peridynamic Differential Operator for Numerical Analysis by
Cover of the book Advances in Neuroergonomics and Cognitive Engineering by
Cover of the book Spectrum Sharing in Cognitive Radio Networks by
Cover of the book Multivariate Time Series With Linear State Space Structure by
Cover of the book Radical Behaviorism and Cultural Analysis by
Cover of the book Heat Shock Protein-Based Therapies by
Cover of the book Nonlinear Waves and Pattern Dynamics by
Cover of the book The Colorado Mathematical Olympiad: The Third Decade and Further Explorations by
Cover of the book Prediction of Polymeric Membrane Separation and Purification Performances by
Cover of the book Smart Power Systems and Renewable Energy System Integration by
Cover of the book Political Asylum Deceptions by
Cover of the book Late Pleistocene and Holocene Environmental Change on the Olympic Peninsula, Washington by
Cover of the book XI Symposium on Probability and Stochastic Processes by
Cover of the book The Strange Persistence of Universal History in Political Thought by
Cover of the book The Basal Ganglia 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