When you buy a used copy YOU SAVE
1.71Kg of CO2
214 litre(s) of Water
0.0128 Tree(s)
1 book donated to global literacy projects
Rigorous State-Based Methods :7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings - Lecture Notes in Computer Science
Rigorous State-Based Methods :7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings - Lecture Notes in Computer Science
paperback
Published:
15 May, 2020
paperback
Published:
15 May, 2020
Standard worldwide delivery by
Tue, June 30 - Fri, July 3
Order within
0
Condition:
USED
$39.39
RRP
$59.91
You save $20.52 (34%)
Available
1
in stock
FREE Returns within 30 days
Popular Books by Alexander Raschke
View All Books by Alexander Raschke
Description
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).
More Details
| Type | Book |
|---|---|
| ISBN13 | 9783030480769 |
| ISBN10 | 3030480763 |
| Number Of Pages | 428 |
| Item Weight | 1000 g |
| Publisher / Reseller | Springer Nature Switzerland AG |
| Format | paperback |
| Edition | 2020 ed. |
See More +