You might also like

More about Rigorous State-Based Methods

• Book details
• Synopsis
• Trending among others

You get 125 loyalty points

Book synopsis

This book constitutes the refereed proceedings of the 7th International Conference on Rigorous State-Based Methods, ABZ 2020. 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).

Book details

Book category Books in English Computing & information technology Computer science Mathematical theory of computation

• Full title: Rigorous State-Based Methods
• Subtitle: 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings
• Author: Alexander Raschke, Dominique Méry, Frank Houdek
• Language: English
• Binding: Paperback
• Number of pages: 428
• EAN: 9783030480769
• ID: 28700792
• Publisher: Springer Nature Switzerland AG
• Weight: 670 g
• Dimensions: 235 × 155 × 24 mm
• Date of publishing: 15. May 2020

---

---

---