Practical TLA+: Planning Driven Development book cover by Hillel Wayne

Practical TLA+: Planning Driven Development [9781484238288]

Name: Practical TLA+: Planning Driven Development [9781484238288]
SKU: 9781484238288
Availability: InStock

Author: Hillel Wayne

Paperback

SKU: 9781484238288

Buy More - Save More. Below are the available bulk discount rates for each individual item when you purchase a certain amount
Quantity	Price	Savings
25 - 99		30%
100 - 249		32%
250 - 499		34%
500 - 999		36%
1000+		38%

Format Lightweight and affordable. Perfect for student groups and classrooms, and a versatile option for corporate trainings, team reads, or large-scale events.

Paperback

Price $44.99

Current Stock:

Quantity

Total for 25 copies:

Adding to cart… The item has been added

This title is print on demand and requires additional processing time

Free shipping over $95
Price Match Guarantee. Found a better price? Let us know! We’ll work to match it so you get the best value with BookPal.

Overview

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+ specs
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+.

The book, Practical TLA+: Planning Driven Development [Bulk, Wholesale, Quantity] ISBN#9781484238288 in Paperback by Hillel Wayne may be ordered in bulk quantities. Minimum starts at 25 copies. Availability based on publisher status and quantity being ordered.

Details

Author:

Hillel Wayne

Format:

Paperback

Publication Date:

10/12/2018

ISBN-13:

9781484238288

Pages:

221

Publisher:

Apress

Customer Reviews

Write a Review

This product hasn't received any reviews yet. Be the first to review this product!

Need Books? BookPal Makes it Easy

Free Shipping

Enjoy free ground shipping on us! Most orders over $95 qualify for free standard ground shipping.It takes an estimated 7-10 business days to deliver and may require additional processing time
Learn More
Dedicated Account Managers

At BookPal, we go beyond the transaction by providing personal support and a dedicated account manager for every customer.
Learn More
Flexible Delivery Options

We offer flexible delivery options such Free Ground Shipping (on most orders over $100), Expedited Premium, Expedited Express, International Shipping etc.
Learn More
Sales Tax Exemption

BookPal is a tax-exempt supplier for all 50 states. We can provide you with a tax-exempt certificate to use on your orders.
Learn More
Price Match Guarantee

With over 3 million book titles available, it's impossible to always be the lowest priced. If you find a lower price on a new title elsewhere that is available to ship in the quantity you need, we are happy to discount your books and match the lower price.
Learn More
Multiple Payment Options

BookPal accepts all major credit cards, PayPal, and checks by mail, along with Purchase Orders upon approval. We also accept ACH payments and wire transfers.
Learn More