Mohlo by sa vám tiež páčiť

Viac informácií o knihe Rigorous State-Based Methods

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 125 bodov

Anotácia 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).

Parametre knihy

Zaradenie knihy Knihy po anglicky Computing & information technology Computer science Mathematical theory of computation

• Celý názov: Rigorous State-Based Methods
• Podnázov: 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings
• Autor: Alexander Raschke, Dominique Méry, Frank Houdek
• Jazyk: Angličtina
• Väzba: Brožovaná
• Počet strán: 428
• EAN: 9783030480769
• ID: 28700792
• Nakladateľ: Springer Nature Switzerland AG
• Hmotnosť: 670 g
• Rozmery: 235 × 155 × 24 mm
• Dátum vydania: 15. May 2020

---

---

---