|
|
books
| book details |
Formal Methods Teaching: Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings
Edited by Brijesh Dongol, Edited by Luigia Petre, Edited by Graeme Smith
|
| on special |
normal price: R 1 687.95
Price: R 1 518.95
|
| book description |
This book constitutes the refereed proceedings of the Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 2019. The 14 full papers presented together with 3 abstract papers were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections named: Tutorial lectures; Teaching Program Verification; Teaching Program Development; and Effective Teaching Techniques.
| product details |
Normally shipped |
Publisher | Springer Nature Switzerland AG
Published date | 16 Oct 2019
Language |
Format | Paperback / softback
Pages | 245
Dimensions | 235 x 155 x 0mm (L x W x H)
Weight | 0g
ISBN | 978-3-0303-2440-7
Readership Age |
BISAC | computers / computer science
| 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 |
|
|
Matt Dinniman
Paperback / softback
480 pages
was: R 522.95
now: R 459.95
|
|
|
An epic love story with the pulse of a thriller that asks: what would you risk for a second chance at first love?
|
|
|
|
|
