Integrated Formal Methods : 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings
1st ed. 2018
Book Details
Delivery Location
Delivery fee: Select location
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.
Get Integrated Formal Methods by Carlo A. Furia at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Springer International Publishing AG and it has 420 pages.
Customers Who Bought This Also Bought
Numerical C
KSh 8,100.00
Static Analysis
KSh 8,100.00
Theory and Practice of Model Transformation
KSh 8,100.00
Building Web Applications with .NET Core 2.1 and JavaScript
KSh 9,900.00
Runtime Verification
KSh 10,800.00
Formal Methods
KSh 14,400.00
Practical PHP 7, MySQL 8, and MariaDB Website Databases
KSh 9,900.00
Model Checking Software
KSh 8,100.00
Formal Methods for Executable Software Models
KSh 8,100.00
Exploring Robotics with ROBOTIS Systems
KSh 9,900.00
More Math Into LaTeX
KSh 13,500.00
Programming Languages and Systems
KSh 6,350.00
