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 IP Cores Design from Specifications to Production by
Cover of the book Brexit by
Cover of the book Real Fourdimensionalism by
Cover of the book Philosophical Foundations of Quality of Life by
Cover of the book Euclidean Distance Geometry by
Cover of the book Memory Frictions in Contemporary Literature by
Cover of the book Diabetes and Exercise by
Cover of the book Frugal Innovation in Healthcare by
Cover of the book Brief Interventions for Psychosis by
Cover of the book Photoptics 2014 by
Cover of the book Game-Based Learning Across the Lifespan by
Cover of the book The Incomputable by
Cover of the book Declining International Cooperation on Pesticide Regulation by
Cover of the book Interactive Experience in the Digital Age by
Cover of the book Coordination Models and Languages 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