Apress/practical-tla-plus

Issues

• Chapter 3 - page 54

  #13 opened 4 years ago by heidihoward
  3

• Chapter 2 - Pluscal, Page 33

  #8 opened 4 years ago by heidihoward
  2

• Chapter 5 - Concurrency: Typos and Questions

  #7 opened 4 years ago by pfeodrippe
  2

• Complex Behaviours

  #4 opened 4 years ago by mweetman-redhat
  0

• Chapter 7: binary search and overflows

  #6 opened 4 years ago
  1

• Typo

  #2 opened 4 years ago by Aluriak
  2

• Chapter 3 - page 45

  #12 opened 4 years ago by heidihoward
  0

• Add a copy of each iteration for each modules

  #11 opened 4 years ago by heidihoward
  0

• Add a comment to each algorithm with a book page number

  #10 opened 4 years ago by heidihoward
  0

• Pluscal translation of algorithms

  #9 opened 4 years ago by heidihoward
  0

• Repository does not contain PT library

  #1 opened 6 years ago by nayuta-yanagisawa
  3