Integrated Formal Methods: 14th International Conference, Ifm 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings 2018 Edition Contributor(s): Furia, Carlo A. (Editor), Winter, Kirsten (Editor) |
|
ISBN: 3319989375 ISBN-13: 9783319989372 Publisher: Springer OUR PRICE: $52.24 Product Type: Paperback - Other Formats Published: August 2018 |
Additional Information |
BISAC Categories: - Computers | Software Development & Engineering - General - Computers | Compilers - Computers | Programming Languages - General |
Dewey: 005.1 |
Physical Information: 0.89" H x 6.14" W x 9.21" (1.34 lbs) 420 pages |
Descriptions, Reviews, Etc. |
Publisher Description: This book constitutes the refereed proceedings of the 14th International Conference on Integrated Formal Methods, IFM 2018, held in Maynooth, Ireland, in September 2018. |