Rigorous State-Based Methods: 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings (Theoretical Computer Science and General Issues) 1st ed. 2020 Edition
4.8 (150 items)
Limited Time SaleUS$32.99 cheaper than the new price!!
Free cash-on-delivery fees for purchases over $99
Product details
| Management number | 220815043 | Release Date | 2026/05/03 | List Price | US$22.00 | Model Number | 220815043 | ||
|---|---|---|---|---|---|---|---|---|---|
| Category | |||||||||
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). Read more
| ISBN10 | 3030480763 |
|---|---|
| ISBN13 | 978-3030480769 |
| Edition | 1st ed. 2020 |
| Language | English |
| Publisher | Springer |
| Dimensions | 6.1 x 1 x 9.25 inches |
| Item Weight | 1.35 pounds |
| Print length | 440 pages |
| Publication date | May 15, 2020 |
Bestseller ranking
Intelligence & Semantics
Customers who viewed this product also viewed
Powdered Eggs
Correction of product information
If you notice any omissions or errors in the product information on this page, please use the correction request form below.
Correction Request Form