|
|
books
| book details |
Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings
Edited by Brijesh Dongol, Edited by Elena Troubitsyna
|
| on special |
normal price: R 1 687.95
Price: R 1 518.95
|
| book description |
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.
| product details |
Normally shipped |
Publisher | Springer Nature Switzerland AG
Published date | 14 Nov 2020
Language |
Format | Paperback / softback
Pages | 461
Dimensions | 235 x 155 x 0mm (L x W x H)
Weight | 0g
ISBN | 978-3-0306-3460-5
Readership Age |
BISAC | computers / programming / software development
| other options |
Normally shipped |
Readership Age |
Normal Price | R 2 154.95
Price | R 1 938.95
| on special |
|
|
To view the items in your trolley please sign in.
| sign in |
|
|
|
| specials |
|
|
An epic love story with the pulse of a thriller that asks: what would you risk for a second chance at first love?
|
|
Matt Dinniman
Paperback / softback
480 pages
was: R 522.95
now: R 459.95
|
|
|
|
|
|
