Mohlo by se vám také líbit

Více informací o knize Rigorous State-Based Methods

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 118 bodů

Anotace knihy

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).

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Computer science Mathematical theory of computation

• Plný název: Rigorous State-Based Methods
• Podnázev: 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings
• Autor: Alexander Raschke, Dominique Méry, Frank Houdek
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 428
• EAN: 9783030480769
• ID: 28700792
• Nakladatelství: Springer Nature Switzerland AG
• Hmotnost: 670 g
• Rozměry: 235 × 155 × 24 mm
• Datum vydání: 15. May 2020

---

---

---