كتاب إلكتروني
Developing a Consensus Algorithm Using Stepwise Refinement
العنوان: | Developing a Consensus Algorithm Using Stepwise Refinement |
---|---|
المؤلفون: | Bryans, Jeremy W.Aff18 |
المساهمون: | Hutchison, David, Series editorAff1, Kanade, Takeo, Series editorAff2, Kittler, Josef, Series editorAff3, Kleinberg, Jon M., Series editorAff4, Mattern, Friedemann, Series editorAff5, Mitchell, John C., Series editorAff6, Naor, Moni, Series editorAff7, Nierstrasz, Oscar, Series editorAff8, Pandu Rangan, C., Series editorAff9, Steffen, Bernhard, Series editorAff10, Sudan, Madhu, Series editorAff11, Terzopoulos, Demetri, Series editorAff12, Tygar, Doug, Series editorAff13, Vardi, Moshe Y., Series editorAff14, Weikum, Gerhard, Series editorAff15, Qin, Shengchao, editorAff16, Qiu, Zongyan, editorAff17 |
المصدر: | Formal Methods and Software Engineering : 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings. 6991:553-568 |
قاعدة البيانات: | Springer Nature eBooks |
ردمك: | 9783642245589 9783642245596 |
---|---|
DOI: | 10.1007/978-3-642-24559-6_37 |