|
|
books
| book details |
Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings
Edited by Zhenhua Duan, Edited by Luke Ong
|
| on special |
normal price: R 1 699.95
Price: R 1 529.95
|
| book description |
This book constitutes the refereed proceedings of the 19th International Conference on Formal Engineering Methods, ICFEM 2017, held in Xi'an, China, in November 2017. The 28 revised full papers presented together with one invited talk and two abstracts of invited talks were carefully reviewed and selected from 80 submissions. The conference focuses on all areas related to formal engineering methods, such as veriï¬cation and validation, software engineering, formal speciï¬cation and modeling, software security, and software reliability.
| product details |
Normally shipped |
Publisher | Springer International Publishing AG
Published date | 14 Oct 2017
Language |
Format | Paperback / softback
Pages | 498
Dimensions | 235 x 155 x 0mm (L x W x H)
Weight | 0g
ISBN | 978-3-3196-8689-9
Readership Age |
BISAC | computers / programming / software development
| other options |
Normally shipped |
Readership Age |
Normal Price | R 2 127.95
Price | R 1 915.95
| on special |
|
|
To view the items in your trolley please sign in.
| sign in |
|
|
|
| specials |
|
|
|
|
Mason Coile
Paperback / softback
224 pages
was: R 517.95
now: R 465.95
|
A terrifying locked-room mystery set in a remote outpost on Mars.
|
An epic love story with the pulse of a thriller that asks: what would you risk for a second chance at first love?
|
|
|
|
