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
Product details
| Management number | 220815043 | Release Date | 2026/05/03 | List Price | $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
![The LLM Engineering Bible [All-in-One]: Everything on How to Build, Deploy, and Scale Production-Ready AI Systems in 30 Days. Includes Practical and Updated LLM Use Cases Ideas and Expert Tips](https://m.media-amazon.com/images/I/61JDm9CsgOL._SL1360_.jpg)
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