![]() |
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 refereed proceedings of the 7th International Conference on Rigorous State-Based Methods, ABZ 2020, which was due to be held in Ulm, Germany, in May 2020. The conference was cancelled due to the COVID-19 pandemic. The 12 full papers and 9 short papers were carefully reviewed and selected from 61 submissions. They are presented in this volume together with 2 invited papers, 6 PhD-Symposium-contributions, as well as the case study and 6 accepted papers outlining solutions to it. The papers are organized in the following sections: keynotes and invited papers; regular research articles; short articles; articles contributing to the case study; short articles of the PhD-symposium (work in progress).
|
You may like...
What Happened To You? - Conversations On…
Bruce D. Perry, Oprah Winfrey
Hardcover
William R. Stanek. The Black and White…
William R. Stanek, Hc Stanek
Hardcover
R1,385
Discovery Miles 13 850
The Oxford Companion to American Theatre
Gerald Bordman, Thomas S. Hischak
Hardcover
R2,370
Discovery Miles 23 700
|