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 The Great 1667 Dalmatia Earthquake by
Cover of the book Mathematical and Engineering Methods in Computer Science by
Cover of the book Liquorice by
Cover of the book Latinx Immigrants by
Cover of the book Nonlinear Structures and Systems, Volume 1 by
Cover of the book Dielectric Properties of Ionic Liquids by
Cover of the book The Ethics of Information Warfare by
Cover of the book Institutionalisation beyond the Nation State by
Cover of the book Update in Pediatrics by
Cover of the book Management of Ingrowing Nails by
Cover of the book Endohedral Fullerenes: Electron Transfer and Spin by
Cover of the book Nonlinear Dynamics, Volume 1 by
Cover of the book Instructor's Manual for Strategic Marketing Cases in Emerging Markets by
Cover of the book Climate Change Impacts on Basin Agro-ecosystems by
Cover of the book Outskirts of Galaxies 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