Delivery: Can be download immediately after purchasing. For new customer, we need process for verification from 30 mins to 12 hours.
Version: PDF/EPUB. If you need EPUB and MOBI Version, please send contact us.
Compatible Devices: Can be read on any devices
Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings eBook
$89.99 Original price was: $89.99.$17.00Current price is: $17.00.
By: Elena Troubitsyna; Brijesh Dongol
Publisher: Springer
Print ISBN: 9783030634605, 3030634604
eText ISBN: 9783030634612, 3030634612
Edition: 1st
Copyright year: 2020
eText ISBN: 9783030634612
SKU: 9783030634612
Category: Trending
Tags: Computers, Intelligence (AI) & Semantics
Print ISBN: 9783030634605
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.
Be the first to review “Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings eBook” Cancel reply
You must be logged in to post a review.
Related products
-38%
eText ISBN: 9781466565043
$58.32 Original price was: $58.32.$35.93Current price is: $35.93.
-38%
Bestsellers
eText ISBN: 9780735637870
$19.98 Original price was: $19.98.$12.31Current price is: $12.31.
-38%
Bestsellers
eText ISBN: 9781423207788
$6.65 Original price was: $6.65.$4.10Current price is: $4.10.
-38%
eText ISBN: 9781786466112
$48.32 Original price was: $48.32.$29.77Current price is: $29.77.
-38%
Bestsellers
eText ISBN: 9781423209584
$6.65 Original price was: $6.65.$4.10Current price is: $4.10.
-38%
Bestsellers
eText ISBN: 9780735637887
$23.32 Original price was: $23.32.$14.37Current price is: $14.37.
-38%
eText ISBN: 9781337017053
$61.65 Original price was: $61.65.$37.98Current price is: $37.98.
-38%
Bestsellers
eText ISBN: 9781119473879
$19.98 Original price was: $19.98.$12.31Current price is: $12.31.
Reviews
There are no reviews yet.