✦ LIBER ✦
[Lecture Notes in Computer Science] Rigorous Methods for Software Construction and Analysis Volume 5115 || Designing Old and New Distributed Algorithms by Replaying an Incremental Proof-Based Development
✍ Scribed by Abrial, Jean-Raymond; Glässer, Uwe
- Book ID
- 121346968
- Publisher
- Springer Berlin Heidelberg
- Year
- 2009
- Tongue
- German
- Weight
- 224 KB
- Category
- Article
- ISBN
- 3642114474
No coin nor oath required. For personal study only.
✦ Synopsis
This Festschrift Volume, Published In Honor Of Egon Börger, Contains 14 Papers From A Dagstuhl Seminar, That Cover A Wide Range Of Applied Research, Spanning From Theoretical And Methodological Foundations To Practical Applications.