This book presents a framework for precise design and verification of distributed and concurrent systems that use atomic transactions as a high-level abstraction. The authors present the most useful algorithms for transaction processing in concurrent and distributed systems, and include a well-developed data processing case study.
Read More
This book presents a framework for precise design and verification of distributed and concurrent systems that use atomic transactions as a high-level abstraction. The authors present the most useful algorithms for transaction processing in concurrent and distributed systems, and include a well-developed data processing case study.
Read Less
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Used book in good and clean conditions. Pages and cover are intact. Limited notes marks and highlighting may be present. May show signs of normal shelf wear and bends on edges. Item may be missing CDs or access codes. May include library marks. Fast Shipping.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Sewn binding. Cloth over boards. 476 p. The Morgan Kaufmann Data Management Systems. PLEASE NOTE, WE DO NOT SHIP TO DENMARK. New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Please note we cannot offer an expedited shipping service from the UK.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
PLEASE NOTE, WE DO NOT SHIP TO DENMARK. New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Please note we cannot offer an expedited shipping service from the UK.
