![]() |
![]() |
Your cart is empty |
||
Showing 1 - 2 of 2 matches in All Departments
This book constitutes the proceedings of the 17th International Conference on Theoretical Aspects of Software Engineering, TASE 2023, held in Bristol, UK, July 4–6, 2023. The 19 full papers and 2 short papers included in this book were carefully reviewed and selected from 49 submissions. They cover the following areas: distributed and concurrent systems; cyber-physical systems; embedded and real-time systems; object-oriented systems; quantum computing; formal verification and program semantics; static analysis; formal methods; verification and testing for AI systems; and AI for formal methods.
This book constitutes the refereed proceedings of the 20th International Conference on Formal Engineering Methods, ICFEM 2018, held in Gold Coast, QLD, Australia, in November 2018. The 22 revised full papers presented together with 14 short papers were carefully reviewed and selected from 66 submissions. The conference focuses on all areas related to formal engineering methods, such as verification; network systems; type theory; theorem proving; logic and semantics; refinement and transition systems; and emerging applications of formal methods.
|
![]() ![]() You may like...
Dynamic Auditing - A Student Edition
B. Marx, A. van der Watt, …
Paperback
Health Taxes: Policy And Practice
Angeli Vigo, Jeremy A Lauer, …
Hardcover
R4,102
Discovery Miles 41 020
Taxation Of Individuals Simplified 2025
K.L. de Hart, E.H. Hamel, …
Paperback
Tax Law: An Introduction
Annet Wanyana Oguttu, Elzette Muller, …
Paperback
R1,337
Discovery Miles 13 370
Monetary Policy, Taxation, and…
Victor A. Canto, Arthur Laffer
Hardcover
R2,826
Discovery Miles 28 260
|