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 Modified Au-Based Nanomaterials Studied by Surface Plasmon Resonance Spectroscopy by
Cover of the book New Frontiers in Artificial Intelligence by
Cover of the book Advances in Information Retrieval by
Cover of the book State, Institutions and Democracy by
Cover of the book Fundamentals of Hopf Algebras by
Cover of the book Robustness Analysis in Decision Aiding, Optimization, and Analytics by
Cover of the book DataFlow Supercomputing Essentials by
Cover of the book Stochastic Partial Differential Equations: An Introduction by
Cover of the book Problems from the Discrete to the Continuous by
Cover of the book Cultivating Mindfulness in Clinical Social Work by
Cover of the book Moral Strata by
Cover of the book Orthopedic Emergencies by
Cover of the book Chinese Language Education in the United States by
Cover of the book Parametric Packet-based Audiovisual Quality Model for IPTV services by
Cover of the book Practices for Network Management 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