第 1/1 張圖片
圖片庫
第 1/1 張圖片
有類似物品要出售？
Concurrency: The Works of Leslie - Hardcover, by Malkhi Dahlia - Very Good
US $27.40
大約HK$ 213.16
狀況：
很好
曾被閱讀過的書籍，但狀況良好。封面不存在明顯損壞，精裝本書籍含書皮。不存在缺頁或內頁受損，無褶皺或破損，同時也沒有對文字標注/標記，或在留白處書寫內容。內封面上標記可能極少。書籍的磨損和破損程度也很低。
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
運送：
免費 USPS Media MailTM.
所在地：Philadelphia, Pennsylvania, 美國
送達日期：
估計於 10月2日 (星期四)至 10月8日 (星期三)之間送達 運送地點 94104
退貨：
30 日退貨. 由賣家支付退貨運費.
保障：
請參閱物品說明或聯絡賣家以取得詳細資料。閱覽全部詳情查看保障詳情
（不符合「eBay 買家保障方案」資格）
安心購物
物品細節
- 物品狀況
- Book Title
- Concurrency: The Works of Leslie Lamport (ACM Books)
- ISBN
- 9781450372701
關於產品
Product Identifiers
Publisher
Morgan & Claypool Publishers
ISBN-10
1450372708
ISBN-13
9781450372701
eBay Product ID (ePID)
28038699635
Product Key Features
Number of Pages
366 Pages
Publication Name
Concurrency : the Works of Leslie Lamport
Language
English
Subject
Systems Architecture / Distributed Systems & Computing, Systems Architecture / General, Computer Science
Publication Year
2019
Type
Textbook
Subject Area
Computers
Series
Acm Collection II Ser.
Format
Hardcover
Dimensions
Item Height
0.8 in
Item Weight
29.7 Oz
Item Length
9.2 in
Item Width
7.5 in
Additional Product Features
Intended Audience
Scholarly & Professional
Grade From
College Junior
Grade To
College Graduate Student
Table Of Content
Preface Photo and Text Credits Introduction The Computer Science of Concurrency: The Early Years PART I TECHNICAL PERSPECTIVES ON LAMPORT'S WORK Shared Memory and the Bakery Algorithm The Notions of Time and Global State in a Distributed System Byzantine Faults State Machine Replication with Benign Failures Formal Specification and Verification Biography PART II SELECTED PAPERS A New Solution of Dijkstra's Concurrent Programming Problem Time, Clocks, and the Ordering of Events in a Distributed System How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs The Byzantine Generals Problem The Mutual Exclusion Problem: Part I-A Theory of Interprocess Communication The Mutual Exclusion Problem: Part II-Statement and Solutions The Part-Time Parliament References Index Biographies
Synopsis
Offers a celebration of Leslie Lamport's work on concurrency, interwoven in four-and-a-half decades of an evolving industry: from the introduction of the first personal computer to an era when parallel and distributed multiprocessors are abundant., This book is a celebration of Leslie Lamport's work on concurrency, interwoven in four-and-a-half decades of an evolving industry: from the introduction of the first personal computer to an era when parallel and distributed multiprocessors are abundant. His works lay formal foundations for concurrent computations executed by interconnected computers. Some of the algorithms have become standard engineering practice for fault tolerant distributed computing - distributed systems that continue to function correctly despite failures of individual components. He also developed a substantial body of work on the formal specification and verification of concurrent systems, and has contributed to the development of automated tools applying these methods. Part I consists of technical chapters of the book and a biography. The technical chapters of this book present a retrospective on Lamport's original ideas from experts in the field. Through this lens, it portrays their long-lasting impact. The chapters cover timeless notions Lamport introduced: the Bakery algorithm, atomic shared registers and sequential consistency; causality and logical time; Byzantine Agreement; state machine replication and Paxos; temporal logic of actions (TLA). The professional biography tells of Lamport's career, providing the context in which his work arose and broke new grounds, and discusses LaTeX - perhaps Lamport's most influential contribution outside the field of concurrency. This chapter gives a voice to the people behind the achievements, notably Lamport himself, and additionally the colleagues around him, who inspired, collaborated, and helped him drive worldwide impact. Part II consists of a selection of Leslie Lamport's most influential papers. This book touches on a lifetime of contributions by Leslie Lamport to the field of concurrency and on the extensive influence he had on people working in the field. It will be of value to historians of science, and to researchers and students who work in the area of concurrency and who are interested to read about the work of one of the most influential researchers in this field.
賣家提供的物品說明
賣家信用評價 （214,487）
- eBay 自動留下信用評價- 買家留下的信用評價。過去 1 個月訂單成功完成 — 物品享追蹤服務且準時送達
- eBay 自動留下信用評價- 買家留下的信用評價。過去 1 個月訂單成功完成 — 物品享追蹤服務且準時送達
- eBay 自動留下信用評價- 買家留下的信用評價。過去 1 個月訂單成功完成 — 物品享追蹤服務且準時送達
賣家信用評價 （214,487）
- eBay 自動留下信用評價- 買家留下的信用評價。過去 1 個月訂單成功完成 — 物品享追蹤服務且準時送達
- eBay 自動留下信用評價- 買家留下的信用評價。過去 1 個月訂單成功完成 — 物品享追蹤服務且準時送達
- eBay 自動留下信用評價- 買家留下的信用評價。過去 1 個月訂單成功完成 — 物品享追蹤服務且準時送達