[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [tlaplus] Practical TLA+ now out

From: neil.o...@xxxxxxxxx
Date: Thu, 24 Jan 2019 00:27:25 -0800 (PST)
References: <16874f9a-1dce-4c81-9b03-637d7fcf877e@googlegroups.com> <CAKFE_=TpXHz0UEckLCJ0Gz4ChkFvqpRVRPZHgTaQGsohYeVU7g@mail.gmail.com>

Ha! This post came in just as I took my seat on a train to London and opened up my shiny new copy of Practical TLA+. Super excited about getting into the guts of it!

References:
- Practical TLA+ now out
  - From: Hillel Wayne
- Re: [tlaplus] Practical TLA+ now out
  - From: Morgan Weetman

Prev by Date: Re: [tlaplus] Practical TLA+ now out
Next by Date: How to define an invariant that describes a sorted sequence
Previous by thread: Re: [tlaplus] Practical TLA+ now out
Next by thread: Re: [tlaplus] Practical TLA+ now out
Index(es):
- Date
- Thread