0
Your cart
![]() |
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
|
Your cart is empty |
||
Showing 1 - 1 of 1 matches in All Departments
This book constitutes the proceedings of the 23rd International Conference on Formal Engineering Methods, ICFEM 2022, held in Madrid, Spain, in October 2022. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this volume were carefully reviewed and selected from 41 submissions. The papers cover for research in all areas related to formal engineering methods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability.
|
You may like...
Grit - Why Passion & Resilience Are The…
Angela Duckworth
Paperback
(3)
Advances in Applied Microbiology, Volume…
Geoffrey Michael Gadd, Sima Sariaslani
Hardcover
R3,088
Discovery Miles 30 880
Hygienic Design of Food Factories
John Holah, Huub Lelieveld
Paperback
Educational Change and the Secondary…
Graham Mcphail, Vicki Thorpe, …
Paperback
R1,412
Discovery Miles 14 120
Food Quality Analysis - Applications of…
Ashutosh Kumar Shukla
Paperback
R3,925
Discovery Miles 39 250
Unpuzzling History with Primary Sources
Jeremiah Clabough, Thomas N. Turner, …
Hardcover
R2,466
Discovery Miles 24 660
|