Defining the system with TLA+: the application of TLA+ language and tools in software and hardware design(Chinese Edition)

[ MEI ] LAI SI LI LAN BO TE ( Leslie Lamport ) . DONG LU MING . HE ZHI PING YI

7111678222 / 9787111678229

  • Softcover
  • New
See all details

Seller: liu xing, Nanjing, JS, Chinaliu xing

5-star seller

AbeBooks seller since April 7, 2009

View this seller's items
Softcover

Condition: New

US$ 169.42

US$ 18.00 shipping 
Ships from China to U.S.A.

Quantity: 3 available

Add to basket
Free 30-day returns
Save for laterCreate a Want for similar items

Item description from seller

Paperback. Pub Date: 2021-04-01 Pages: 328 Publisher: Machinery Industry Press This book is a summary of the author's research results on distributed concurrent computing systems for more than 25 years.?In this book. the author proposes to use action-based temporal logic (TLA) to establish a mathematical model for the behavior of complex information systems. and then use rigorous mathematical proof and verification methods to verify the correctness of the system's behavior.?To this end. the a.

Seller Inventory # NV032292

Report this item
Title
Defining the system with TLA+: the application of TLA+ language and tools in software and hardware design(Chinese Edition)
Author
[ MEI ] LAI SI LI LAN BO TE ( Leslie Lamport ) . DONG LU MING . HE ZHI PING YI
Condition
New
Binding
paperback
ISBN 10
7111678222
ISBN 13
9787111678229

liu xing

Nanjing, JS, China

5-star seller

AbeBooks seller since April 7, 2009

Shipping rates from China to U.S.A.

Item16 to 30 business days8 to 16 business days
First itemUS$ 18.00US$ 30.00
Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.

Payment methods

  • Visa
  • Mastercard
  • American Express
  • Apple Pay
  • Google Pay
  • Bank Wire Transfer
  • Paypal

Store description

Thank you for visiting My bookstore! We are an online bookstore, and Is the China's largest online book sales. Generally our books are from China, with reasonable price and decent printing quality. We are always trying our best to satisfy customer's needs!

Specialty

Chemistry, Mathematics, Computer, Physics, Environment, Social Sciences

Seller's business information

NAN JING SHI JIANG NING QU NING YUAN DIAN ZI SHANG WU ZHONG XIN

JS, China

Contact sellerView this seller's itemsView seller's storefront