| 書目名稱 | Designing Reliable Distributed Systems | | 副標(biāo)題 | A Formal Methods App | | 編輯 | Peter Csaba ?lveczky | | 視頻video | http://file.papertrans.cn/269/268984/268984.mp4 | | 概述 | Introduces formal modeling of abstract data types and distributed systems.Does not assume or require any formal methods or theoretical computer science background.Contains exercises throughout | | 叢書名稱 | Undergraduate Topics in Computer Science | | 圖書封面 |  | | 描述 | This classroom-tested textbook provides an accessible introduction to the design, formal modeling, and analysis of distributed computer systems. The book uses Maude, a rewriting logic-based language and simulation and model checking tool, which offers a simple and intuitive modeling formalism that is suitable for modeling distributed systems in an attractive object-oriented and functional programming style..Topics and features: introduces classical algebraic specification and term rewriting theory, including reasoning about termination, confluence, and equational properties; covers object-oriented modeling of distributed systems using rewriting logic, as well as temporal logic to specify requirements that a system should satisfy; provides a range of examples and case studies from different domains, to help the reader to develop an intuitive understanding of distributed systems and their design challenges; examples include classic distributed systems such as transport protocols, cryptographic protocols, and distributed transactions, leader election, and mutual execution algorithms; contains a wealth of exercises, including larger exercises suitable for course projects, and supplies | | 出版日期 | Textbook 2017 | | 關(guān)鍵詞 | Abstract Data Types; Algebraic and Order-Sorted Specification; Communication and Cryptographic Protoco | | 版次 | 1 | | doi | https://doi.org/10.1007/978-1-4471-6687-0 | | isbn_softcover | 978-1-4471-6686-3 | | isbn_ebook | 978-1-4471-6687-0Series ISSN 1863-7310 Series E-ISSN 2197-1781 | | issn_series | 1863-7310 | | copyright | Springer-Verlag London 2017 |
The information of publication is updating
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-31 05:10
發(fā)表于 2025-3-21 19:52:53
