|
|
books
| book details |
Formal Methods – Fun for Everybody: First International Workshop, FMFun 2019, Bergen, Norway, December 2–3, 2019, Revised Selected Papers
Edited by Antonio Cerone, Edited by Markus Roggenbach
|
| on special |
normal price: R 1 719.95
Price: R 1 633.95
|
| book description |
This volume constitutes the post-workshop proceedings of the First International Workshop on Formal Methods – Fun for Everybody, FMFun 2019, held in Bergen, Norway, in December 2019.The 7 revised full papers and 2 revised short papers presented in this volume were carefully reviewed and selected from 15 submissions. A white paper and two keynote papers are also included. The papers explore ways of utilizing the pathway to transforming and spreading formal methods. The vision of this workshop series is that formal methods ought to be taught in such a way that every student can have fun with it.
| product details |
Normally shipped |
Publisher | Springer Nature Switzerland AG
Published date | 11 Mar 2021
Language |
Format | Paperback / softback
Pages | 227
Dimensions | 235 x 155 x 0mm (L x W x H)
Weight | 0g
ISBN | 978-3-0307-1373-7
Readership Age |
BISAC | education / computers & technology
| other options |
Normally shipped |
Readership Age |
Normal Price | R 2 192.95
Price | R 2 083.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?
|
This is indeed a story of mercy and the redemption it offers.
|
Emil Coetzee, a civil servant in his fifties, is washing blood off his hands when the ceasefire is announced.
|
|
|
|
