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 Fourier Analysis and Stochastic Processes by
Cover of the book Artificial Economics and Self Organization by
Cover of the book Failed Anti-Reflux Therapy by
Cover of the book Why Religion and Spirituality Matter for Public Health by
Cover of the book Lateral Power Transistors in Integrated Circuits by
Cover of the book Primate Hearing and Communication by
Cover of the book Image Processing and Communications Challenges 8 by
Cover of the book Atlas of Trace Fossils in Well Core by
Cover of the book Modelling and Simulation in Management Sciences by
Cover of the book Intelligent Computing Methodologies by
Cover of the book Handbook of Social Skills and Autism Spectrum Disorder by
Cover of the book DNA Computing and Molecular Programming by
Cover of the book Probability and Statistics for Particle Physics by
Cover of the book 3D Automated Breast Volume Sonography by
Cover of the book Chicxulub: The Impact and Tsunami 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