Login       My Wishlist
  My Cart
$0.00 / 0 items
 
EMS Linux
Utilizing the Best Tools With Linux
 
International Access
Global Shipping Options Available
  Our Catalog   Languages & Tools   Compilers

Practical TLA+: Planning Driven Development


Free Shipping Included! Practical TLA+: Planning Driven Development by Apress at EMS Linux. Hurry! Limited time offer. Offer valid only while supplies last. Learn how to design complex, correct programs and fix problems before writing a single line of code. This book is a practical, comprehensive resource


Product Description

Learn how to design complex, correct programs and fix problems before writing a single line of code. This book is a practical, comprehensive resource on TLA+ programming with rich, complex examples. Practical TLA+ shows you how to use TLA+ to specify a complex system and test the design itself for bugs. 

You’ll learn how even a short TLA+ spec can find critical bugs. Start by getting your feet wet with an example of TLA+ used in a bank transfer system, to see how it helps you design, test, and build a better application. Then, get some fundamentals of TLA+ operators, logic, functions, PlusCal, models, and concurrency. Along the way you will discover how to organize your blueprints and how to specify distributed systems and eventual consistency. 


Finally, you’ll put what you learn into practice with some working case study applications, applying TLA+ to a wide variety of practical problems: from algorithm performance and data structures to business code and MapReduce. After reading and using this book, you'll have what you need to get started with TLA+ and how to use it in your mission-critical applications.  

What You'll Learn
  • Read and write TLA+ specifications
  • Check specs for broken invariants, race conditions, and liveness bugs
  • Design concurrency and distributed systems
  • Learn how TLA+ can help you with your day-to-day production work

Who This Book Is For

Those with programming experience who are new to design and to TLA+.  

Additional Information

Manufacturer:Apress
Publisher:Apress
Studio:Apress
EAN:9781484238288
Item Size:0 x 10 x 10 inches
Package Weight:1.11 pounds
Package Size:7.01 x 0 x 0 inches

Practical TLA+: Planning Driven Development by Apress

Buy Now:
Practical TLA+: Planning Driven Development

Brand: Apress
Condition: New
Lead Time: 1 - 2 Business Days
Availability: In Stock
$32.99


Quantity:  

 


View More In Compilers.

 


Have questions about this item, or would like to inquire about a custom or bulk order?


If you have any questions about this product by Apress, contact us by completing and submitting the form below. If you are looking for a specif part number, please include it with your message.

First Name:
Last Last:
Email Address:
Your Message:

Related Best Sellers


By Independently published
ean: 9781983362569, isbn: 1983362565,
In this year, 2018, we celebrate 50 Years of Forth. How do you define a computer language? Charles Moore, the inventor of Forth, takes you through the different steps and as well through the reasoning behind it. This is an early book and with the 50 ...

By Brand: Pragmatic Bookshelf
mpn: 978-1-934356-45-6, ean: 9781934356456, isbn: 193435645X,
Learn to build configuration file readers, data readers, model-driven code generators, source-to-source translators, source analyzers, and interpreters. You don't need a background in computer science--ANTLR creator Terence Parr demystifies language ...

By Brand: Pragmatic Bookshelf
mpn: Illustrations, ean: 9781934356999, isbn: 1934356999,
Programmers run into parsing problems all the time. Whether it's a data format like JSON, a network protocol like SMTP, a server configuration file for Apache, a PostScript/PDF file, or a simple spreadsheet macro language--ANTLR v4 and this book will...

By imusti
mpn: 32927766, ean: 9780120884780, isbn: 012088478X,

By Springer
ean: 9780306420313, isbn: 0306420317,
Two central ideas in the movement toward advanced automation systems are the office-of-the-future (or office automation system), and the factory­ of-the-future (or factory automation system). An office automation system is an integrated system with ...

By Springer
ean: 9780792376736, isbn: 0792376730,
The TeX Reference Manual is the first comprehensive reference manual written by a programmer for programmers. It contains reference pages for each of TeX's 325 primitive control sequences. Over 80% of its reference pages contain examples that range f...

By Springer
mpn: biography, ean: 9783642831911, isbn: 3642831915,
In the two and a half years since the frrst edition of this book was published, the field of logic programming has grown rapidly. Consequently, it seemed advisable to try to expand the subject matter covered in the first edition. The new material in ...

By Springer
mpn: A-090-280, ean: 9780387976495, isbn: 0387976493,
puter system. In 1971 one computer system had a Pascal compiler. By 1974 the number had grown to 10 and in 1979 there were more than 80. Pascal is always available on those ubiquitous breeds of computer systems: personal computers andl professional w...

By Wiley
ean: 9780471554998, isbn: 0471554995,
More of a true programming environment than its competitors, Clipper is a database application development system for PCs and LANs containing a compiler that enables programmers to design customized database applications and compile database programs...

By Springer
ean: 9780387950105, isbn: 0387950109,
This comprehensive, detailed reference provides readers with both a working knowledge of Mathematica in general and a detailed knowledge of the key aspects needed to create the fastest, shortest, and most elegant implementations possible. It gives us...



Privacy Policy / Terms of Service
© 2018 - emslinux.com. All Rights Reserved.