![]() |
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
|
Your cart is empty |
||
Showing 1 - 2 of 2 matches in All Departments
This book constitutes the proceedings of the 7th International Symposium on Dependable Software Engineering, SETTA 2021, held in Beijing, China, in November 2021. The 16 full papers in this volume were carefully reviewed and selected from 39 submissions, and are presented with 3 abstracts of keynote speeches. They deal with latest research results and ideas on bridging the gap between formal methods and software engineering.
This book constitutes the proceedings of the 21st International Conference on Formal Engineering Methods, ICFEM 2019, held in Shenzhen, China, in November 2019. The 28 full and 8 short papers presented in this volume were carefully reviewed and selected from 94 submissions. They deal with the recent progress in the use and development of formal engineering methods for software and system design and record the latest development in formal engineering methods.
|
You may like...
U.S. Immigration - A Reference Handbook
Michael C. LeMay
Hardcover
Advances in Natural Language Generation…
Michael Zock, G. Sabah
Hardcover
AutoCAD Electrical 2023 Black Book…
Gaurav Verma, Matt Weber
Hardcover
R1,464
Discovery Miles 14 640
Language Machines - Technologies of…
Jeffrey Masten, Peter Stallybrass, …
Paperback
R1,474
Discovery Miles 14 740
The Social Semantic Web
John G. Breslin, Alexandre Passant, …
Hardcover
R1,572
Discovery Miles 15 720
|