|
|
books
| book details |
Formal Methods and Software Engineering: 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21–24, 2023, Proceedings
Edited by Yi Li, Edited by Sofiène Tahar
|
| on special |
normal price: R 2 086.95
Price: R 1 878.95
|
| book description |
This book constitutes the proceedings of the 24th International Conference on Formal Methods and Software Engineering, ICFEM 2023, held in Brisbane, QLD, Australia, during November 21–24, 2023. The 13 full papers presented together with 8 doctoral symposium papers in this volume were carefully reviewed and selected from 34 submissions, the volume also contains one invited paper. The conference focuses on applying formal methods to practical applications and presents papers for research in all areas related to formal engineering methods.
| product details |

Normally shipped |
Publisher | Springer Verlag, Singapore
Published date | 24 Oct 2023
Language |
Format | Paperback / softback
Pages | 300
Dimensions | 235 x 155 x 0mm (L x W x H)
Weight | 0g
ISBN | 978-9-8199-7583-9
Readership Age |
BISAC | computers / computer science
| other options |

Normally shipped |
Readership Age |
Normal Price | R 2 691.95
Price | R 2 422.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?
|
|
|
Mason Coile
Paperback / softback
224 pages
was: R 520.95
now: R 468.95
|
A terrifying locked-room mystery set in a remote outpost on Mars.
|
|
|
|
|