Formal Methods and Software Engineering

19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings

Nonfiction, Computers, Programming, Software Development, General Computing
Big bigCover of Formal Methods and Software Engineering

More books from Springer International Publishing

bigCover of the book Purification of Peptides in High-Complexity Arrays by
bigCover of the book Mathematics Teacher Preparation in Central America and the Caribbean by
bigCover of the book Mobile Networks and Management by
bigCover of the book Smart STEM-Driven Computer Science Education by
bigCover of the book Mathematics Education in East Africa by
bigCover of the book Proceedings of the 10th International Conference on Computer Recognition Systems CORES 2017 by
bigCover of the book Theoretical Physics 5 by
bigCover of the book Bone Morphogenetic Proteins: Systems Biology Regulators by
bigCover of the book Representing Scientific Knowledge by
bigCover of the book Low-Complexity Controllers for Time-Delay Systems by
bigCover of the book COOP 2014 - Proceedings of the 11th International Conference on the Design of Cooperative Systems, 27-30 May 2014, Nice (France) by
bigCover of the book Reforms and Innovation in Education by
bigCover of the book Science in Metaphysics by
bigCover of the book Database Systems for Advanced Applications by
bigCover of the book Computer Vision – ACCV 2016 Workshops 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