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
Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings eBook
$109.00 Original price was: $109.00.$23.00Current price is: $23.00.
Publisher: Springer
Print ISBN: 9783030309411, 303030941X
eText ISBN: 9783030309428, 3030309428
Copyright year: 2019
Format: Reflowable
eText ISBN: 9783030309428
SKU: 9783030309428
Category: Trending
Tags: Computers, Intelligence (AI) & Semantics
Print ISBN: 9783030309411
This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in the form of the Third World Congress on Formal Methods, in October 2019. The 44 full papers presented together with 3 invited presentations were carefully reviewed and selected from 129 submissions. The papers are organized in topical sections named: Invited Presentations; Verification; Synthesis Techniques; Concurrency; Model Checking Circus; Model Checking; Analysis Techniques; Specification Languages; Reasoning Techniques; Modelling Languages; Learning-Based Techniques and Applications; Refactoring and Reprogramming; I-Day Presentations.
Be the first to review “Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings eBook” Cancel reply
You must be logged in to post a review.
Related products
-38%
Bestsellers
eText ISBN: 9783319242774
$59.98 Original price was: $59.98.$36.95Current price is: $36.95.
-38%
Bestsellers
eText ISBN: 9781423207740
$6.65 Original price was: $6.65.$4.10Current price is: $4.10.
-38%
eText ISBN: 9781337017053
$61.65 Original price was: $61.65.$37.98Current price is: $37.98.
-38%
Bestsellers
eText ISBN: 9781610395700
$19.98 Original price was: $19.98.$12.31Current price is: $12.31.
-38%
Bestsellers
eText ISBN: 9781423209584
$6.65 Original price was: $6.65.$4.10Current price is: $4.10.
-38%
eText ISBN: 9781466566330
$58.32 Original price was: $58.32.$35.93Current price is: $35.93.
-38%
Bestsellers
eText ISBN: 9781119473879
$19.98 Original price was: $19.98.$12.31Current price is: $12.31.
-38%
Bestsellers
eText ISBN: 9781440336683
$21.65 Original price was: $21.65.$13.34Current price is: $13.34.
Reviews
There are no reviews yet.