Software Engineering and Formal Methods

16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings

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

More books from Springer International Publishing

bigCover of the book Ethical Issues in Sandplay Therapy Practice and Research by
bigCover of the book Brand Platform in the Professional Sport Industry by
bigCover of the book Information Technology, Systems Research, and Computational Physics by
bigCover of the book An Introduction to Mathematical Modeling of Infectious Diseases by
bigCover of the book China Business 2.0 by
bigCover of the book Informatics in Control, Automation and Robotics 12th International Conference, ICINCO 2015 Colmar, France, July 21-23, 2015 Revised Selected Papers by
bigCover of the book Axiomatic Design in Large Systems by
bigCover of the book Advances in REBT by
bigCover of the book Nuclear Energy for Hydrogen Generation through Intermediate Heat Exchangers by
bigCover of the book Cashew Nut Shell Liquid by
bigCover of the book Joint Surgery in the Adult Patient with Hemophilia by
bigCover of the book New Trends in Urban Drainage Modelling by
bigCover of the book Husserl, Cassirer, Schlick by
bigCover of the book Naval Modernisation in Southeast Asia, Part Two by
bigCover of the book Temporary Shelters and Surrounding Communities 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