Rigorous State-Based Methods
7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings
Häftad, Engelska, 2020
Av Alexander Raschke, Dominique Méry, Frank Houdek, Dominique Mery
729 kr
Beställningsvara. Skickas inom 10-15 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.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.
Produktinformation
- Utgivningsdatum2020-05-15
- Mått155 x 235 x 24 mm
- Vikt663 g
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor428
- FörlagSpringer Nature Switzerland AG
- ISBN9783030480769