كتاب إلكتروني
Towards Synthesis of Distributed Algorithms with SMT Solvers
| العنوان: | Towards Synthesis of Distributed Algorithms with SMT Solvers |
|---|---|
| المؤلفون: | Delporte-Gallet, CaroleAff10, Fauconnier, HuguesAff10, Jurski, YanAff10, Laroussinie, FrançoisAff10, Sangnier, ArnaudAff10 |
| المساهمون: | Goos, Gerhard, Founding EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Woeginger, Gerhard, Editorial Board MemberAff6, Yung, Moti, Editorial Board MemberAff7, Atig, Mohamed Faouzi, editorAff8, Schwarzmann, Alexander A., editorAff9 |
| المصدر: | Networked Systems : 7th International Conference, NETYS 2019, Marrakech, Morocco, June 19–21, 2019, Revised Selected Papers. 11704:200-216 |
| قاعدة البيانات: | Springer Nature eBooks |
| ردمك: | 9783030312763 9783030312770 |
|---|---|
| DOI: | 10.1007/978-3-030-31277-0_13 |