Download PDF Practical TLA+ Planning Driven Development Hillel Wayne 9781484238288 Books

By Sisca R. Bakara on Tuesday, May 14, 2019

Download PDF Practical TLA+ Planning Driven Development Hillel Wayne 9781484238288 Books



Download As PDF : Practical TLA+ Planning Driven Development Hillel Wayne 9781484238288 Books

Download PDF Practical TLA+ Planning Driven Development Hillel Wayne 9781484238288 Books

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. 

Download PDF Practical TLA+ Planning Driven Development Hillel Wayne 9781484238288 Books


"I previously had good working knowledge of TLA+ and had applied it some projects at work involving concurrency. This book served as an excellent introduction to PlusCal, which is a variant of TLA+ that addresses shortcomings with how the language handles communicating sequential processes. After working through this book, I am now proficient in PlusCal and am using it in a work project at this very moment! The author has a very approachable style, and I think this applications-focused book is well worth software engineers' time."

Product details

  • Paperback 248 pages
  • Publisher Apress; 1st ed. edition (October 12, 2018)
  • Language English
  • ISBN-10 1484238281

Read Practical TLA+ Planning Driven Development Hillel Wayne 9781484238288 Books

Tags : Practical TLA+ Planning Driven Development [Hillel Wayne] on . <div><div><div>Learn how to design complex, correct programs and fix problems before writing a single line of code. This book is a practical,Hillel Wayne,Practical TLA+ Planning Driven Development,Apress,1484238281,Computer science,B,COMPUTER,COMPUTERS / Programming / General,COMPUTERS / Programming Languages / General,COMPUTERS / Software Development Engineering / General,Compilers interpreters,Computer Applications,Computer programming / software development,Computer programming / software engineering,Computer/Languages,Computers/Programming - General,Computers/Software Development Engineering - General,General Adult,How-to/Do-it-yourself,Informatik, EDV / Programmiersprachen,Non-Fiction,Professional and Applied Computing,Programming scripting languages general,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering,TLA+; programming; PlusCal; formal methods; specification; software; design; engineering; architecture; testing; concurrency; model checking; temporal logic; source code,TLA+;programming;TLA+;PlusCal;formal methods;specification;software;design;engineering;architecture;testing;concurrency;model checking;temporal logic;source code,United States,COMPUTERS / Programming / General,COMPUTERS / Programming Languages / General,COMPUTERS / Software Development Engineering / General,Computers/Programming - General,Computers/Software Development Engineering - General,Compilers interpreters,Computer programming / software engineering,Software Engineering,Computer programming / software development,Programming scripting languages general,Informatik, EDV / Programmiersprachen

Practical TLA+ Planning Driven Development Hillel Wayne 9781484238288 Books Reviews :


Practical TLA+ Planning Driven Development Hillel Wayne 9781484238288 Books Reviews


  • The author does a great job creating small examples of specifications that seem completely plausible but that have bugs immediately detectable by the TLC model checker.

    Do note that the title is a misnomer. The book focuses on PlusCal rather than core TLA⁺. (Pluscal is a programmer friendly language that compiles into TLA⁺). If you want to know more about TLA⁺ after reading this book, it is worthwhile to view the training videos on the TLA⁺ homepage.

    If you do purchase this book, check-out the errata on the authors github page (the errors are mostly minor). It is also informative to look at Leslie Lamport's commentary on the book https//lamport.azurewebsites.net/tla/practical-tla.html .

    The author, Hillel Wayne, has an excellent style and is an experienced instructor. I hope that he writes a follow-on book that delves deeper into TLA⁺, explores more advanced examples, and demonstrates the TLAPS proof assistant.
  • TLA+ has a well deserved reputation for difficult. This is the first book I know of that takes TLA+ and shows actual real world examples of its use in model and spec checking. If you have tried Lamport's book and gave up in frustration, start with this one. Many reasonable real world examples, worked out fully and completely.
  • I previously had good working knowledge of TLA+ and had applied it some projects at work involving concurrency. This book served as an excellent introduction to PlusCal, which is a variant of TLA+ that addresses shortcomings with how the language handles communicating sequential processes. After working through this book, I am now proficient in PlusCal and am using it in a work project at this very moment! The author has a very approachable style, and I think this applications-focused book is well worth software engineers' time.