Practical TLA+

English, Hillel Wayne, 2018
Ratings
BrandMore from Springer
Delivered between Wed, 26.8. and Fri, 28.8.
More than 10 items ordered
Free shipping starting at 50.–

Show all

Product details

Apply TLA+ to real-world problems and gain the building blocks to get started with your own specifications. 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, the way that Amazon and Microsoft handle their new systems. 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. You'll also discover advanced TLA+ specific syntax and see how it works with concurrency combined with some temporal logic. Finally, you'll put what you learn into practice with four working case study applications.

Key specifications

topic
Technology & IT
Language
English
Author
Hillel Wayne
Year
2018
Number of pages
285
Book cover
Paperback

General information

Item number
9054086
Publisher
Springer
Category
Reference books
Release date
26.12.2018
Sales rank in Category Reference books
1320 of 1018399

Book properties

topic
Technology & IT
Language
English
Author
Hillel Wayne
Year
2018
Number of pages
285
Edition
1
Book cover
Paperback

Voluntary climate contribution

CO₂ emissions
0.35 kg
Climate contribution
CHF 0.11

Product dimensions

Height
254 mm
Width
178 mm

Package dimensions

Length
26 cm
Width
18.60 cm
Height
1.80 cm
Weight
472 g

30-day right of return if unopened
No warranty

Compare products

Show all

Goes with

Reviews & Ratings

Warranty score

How often does a product of this brand in the «Reference books» category have a defect within the first 24 months?

Source: Digitec Galaxus
  • 1.Reclam
    0 %
  • 1.Rheinwerk
    0 %
  • 1.Springer
    0 %
  • 1.Stämpfli
    0 %
  • 1.Urban & Fischer
    0 %

Warranty case duration

How many working days on average does it take to process a warranty claim from when it arrives at the service centre until it’s back with the customer?

Source: Digitec Galaxus
  • Springer
    Not enough data
  • An der Ruhr
    Not enough data
  • Anaconda
    Not enough data
  • Artist Ahead
    Not enough data
  • Avery Publishing Group
    Not enough data

Unfortunately, we don't have enough data for this category yet.

Return rate

How often is a product of this brand in the «Reference books» category returned?

Source: Digitec Galaxus
  • 64.Penguin Random House
    1.2 %
  • 64.Rheinwerk
    1.2 %
  • 64.Springer
    1.2 %
  • 64.Taschen
    1.2 %
  • 64.Urban & Fischer
    1.2 %
Source: Digitec Galaxus