Description: Integrated Formal Methods : 16th International Conference, Ifm 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings, Paperback by Dongol, Brijesh (EDT); Troubitsyna, Elena (EDT), ISBN 3030634604, ISBN-13 9783030634605, Brand New, Free shipping in the US This book constitutes the refereed proceedings of the 16th International Conference on Integrated Formal Methods, IFM 2019, held in Lugano, Switzerland, in November 2020. The 24 full papers and 2 short papers were carefully reviewed and selected from 63 submissions. The papers cover a broad spectrum of topics: Integrating Machine Learning and Formal Modelling; Modelling and Verification in B and Event-B; Program Analysis and Testing; Verification of Interactive Behaviour; Formal Verification; Static Analysis; Domain-Specific Approaches; and Algebraic Techniques.
Price: 67.22 USD
Location: Jessup, Maryland
End Time: 2025-01-24T16:44:53.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
Return shipping will be paid by: Buyer
All returns accepted: Returns Accepted
Item must be returned within: 14 Days
Refund will be given as: Money Back
Return policy details:
Book Title: Integrated Formal Methods : 16th International Conference, Ifm 20
Number of Pages: Xi, 461 Pages
Publication Name: Integrated Formal Methods : 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings
Language: English
Publisher: Springer International Publishing A&G
Publication Year: 2020
Subject: Software Development & Engineering / General, Intelligence (Ai) & Semantics, Speech & Audio Processing
Item Weight: 25.5 Oz
Type: Textbook
Author: Elena Troubitsyna
Item Length: 9.3 in
Subject Area: Computers
Series: Lecture Notes in Computer Science Ser.
Item Width: 6.1 in
Format: Trade Paperback
