Integrated Formal Methods

14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings

Nonfiction, Computers, Programming, Software Development, Programming Languages, General Computing
Cover of the book Integrated 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: 9783319989389
Publisher: Springer International Publishing Publication: August 22, 2018
Imprint: Springer Language: English
Author:
ISBN: 9783319989389
Publisher: Springer International Publishing
Publication: August 22, 2018
Imprint: Springer
Language: English

This book constitutes the refereed proceedings of the 14th International Conference on Integrated Formal Methods, IFM 2018, held in Maynooth, Ireland, in September 2018.
The 17 full papers and 5 short papers presented together with 3 invited talks were carefully reviewed and selected from 60 submissions. The conference covers a broad spectrum of topics: from language design, to verification and analysis techniques, to supporting tools and their integration into software engineering practice.

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 14th International Conference on Integrated Formal Methods, IFM 2018, held in Maynooth, Ireland, in September 2018.
The 17 full papers and 5 short papers presented together with 3 invited talks were carefully reviewed and selected from 60 submissions. The conference covers a broad spectrum of topics: from language design, to verification and analysis techniques, to supporting tools and their integration into software engineering practice.

More books from Springer International Publishing

Cover of the book Community-Based Disaster Risk Management in Azerbaijan by
Cover of the book Cormac McCarthy’s Philosophy by
Cover of the book Translational Neuropsychopharmacology by
Cover of the book Youth and Unconventional Political Engagement by
Cover of the book Making Beautiful Deep-Sky Images by
Cover of the book Heritage in Action by
Cover of the book Application of Systems Thinking to Health Policy & Public Health Ethics by
Cover of the book Biomedical Polymers by
Cover of the book Ultrashort Pulse Laser Technology by
Cover of the book Biological Adhesives by
Cover of the book Diagnosis and Management of Femoroacetabular Impingement by
Cover of the book Teacher Education for High Poverty Schools by
Cover of the book Dynamical Systems: Modelling by
Cover of the book Corporate Governance in Banking and Investor Protection by
Cover of the book Leading an Academic Medical Practice 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