Description: Specifying Systems by Leslie Lamport Estimated delivery 3-12 business days Format Paperback Condition Brand New Description TLA+ represents an effective methodology for visualizing and quantifying algorithmic complexity in a way that is meaningful to engineers. Publisher Description This book is the distillation of over 25 years of work by one of the worlds most renowned computer scientists. Leslie Lamport, the creator of the LaTeX typesetting system, shows how to write unambiguous specifications of complex computer systems. The first part provides a concise and lucid introduction to specification, explaining how to describe, with mathematical precision, the behavioral properties of a system—what that system is allowed to do. The emphasis here is on safety properties. The second part of Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers covers more advanced topics, including liveness and fairness, real time properties, and composition. The books final two parts provide a complete reference manual for the TLA+ language and tools, as well as a handy mini-manual. Author Biography Leslie Lamport, a computer scientist, is well known for his contributions to concurrent computing and distributed systems. His "Time, Clocks, and the Ordering of Events in a Distributed System" paper has been honored for its enduring influence on the field. Lamport is also known for creating the LaTeX typesetting system and the best-selling book, LaTeX, Second Edition, which documents it (Addison-Wesley, 1994). Now at Microsoft Research in Mountain View, California, he began his work on TLA+ at the Digital (later Compaq) Systems Research Center in Palo Alto. Lamport, who earned his Ph.D. in mathematics from Brandeis University, is a member of the National Academy of Engineering. 032114306XAB06262002 Details ISBN 032114306X ISBN-13 9780321143068 Title Specifying Systems Author Leslie Lamport Format Paperback Year 2002 Pages 384 Publisher Pearson Education (US) GE_Item_ID:7104831; About Us Grand Eagle Retail is the ideal place for all your shopping needs! With fast shipping, low prices, friendly service and over 1,000,000 in stock items - you're bound to find what you want, at a price you'll love! Shipping & Delivery Times Shipping is FREE to any address in USA. Please view eBay estimated delivery times at the top of the listing. Deliveries are made by either USPS or Courier. We are unable to deliver faster than stated. International deliveries will take 1-6 weeks. NOTE: We are unable to offer combined shipping for multiple items purchased. This is because our items are shipped from different locations. Returns If you wish to return an item, please consult our Returns Policy as below: Please contact Customer Services and request "Return Authorisation" before you send your item back to us. Unauthorised returns will not be accepted. Returns must be postmarked within 4 business days of authorisation and must be in resellable condition. Returns are shipped at the customer's risk. We cannot take responsibility for items which are lost or damaged in transit. For purchases where a shipping charge was paid, there will be no refund of the original shipping charge. Additional Questions If you have any questions please feel free to Contact Us. Categories Baby Books Electronics Fashion Games Health & Beauty Home, Garden & Pets Movies Music Sports & Outdoors Toys
Price: 49.78 USD
Location: Fairfield, Ohio
End Time: 2025-02-13T03:52:30.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
Restocking Fee: No
Return shipping will be paid by: Buyer
All returns accepted: Returns Accepted
Item must be returned within: 30 Days
Refund will be given as: Money Back
ISBN-13: 9780321143068
Book Title: Specifying Systems
Number of Pages: 384 Pages
Publication Name: Specifying Systems : the Tla+ Language and Tools for Hardware and Software Engineers
Language: English
Publisher: Addison Wesley Professional
Publication Year: 2002
Item Height: 0.9 in
Subject: Software Development & Engineering / General, Programming / Parallel, Logic, Software Development & Engineering / Systems Analysis & Design
Item Weight: 21.6 Oz
Type: Textbook
Author: Leslie Lamport
Item Length: 9.1 in
Subject Area: Mathematics, Computers
Item Width: 7.3 in
Format: Trade Paperback
