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 Making Multicultural Families in Europe by
Cover of the book Connecting the Quality of Life Theory to Health, Well-being and Education by
Cover of the book The Local Configuration of New Research Fields by
Cover of the book Population Aging and International Health-Caregiver Migration to Japan by
Cover of the book Restructuring and Innovation in Banking by
Cover of the book Rankings and Global Knowledge Governance by
Cover of the book Erich Auerbach and the Crisis of German Philology by
Cover of the book Selenium by
Cover of the book Theoretical and Empirical Insights into Child and Family Poverty by
Cover of the book Wild Edible Vegetables of Lesser Himalayas by
Cover of the book Vascular Ion Channels in Physiology and Disease by
Cover of the book Agile Risk Management by
Cover of the book Computing with Foresight and Industry by
Cover of the book Recent Advances in Retinoblastoma Treatment by
Cover of the book Introduction to Distributed Computer Systems 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