From 5e16176be90e7cce227ab03fd4cb54d3fb2008de Mon Sep 17 00:00:00 2001 From: Xuankang Lin Date: Sat, 31 May 2014 00:48:48 -0400 Subject: [PATCH 1/2] add TLA book by Leslie Lamport --- free-programming-books.md | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/free-programming-books.md b/free-programming-books.md index 2036a560f..c08f0b668 100644 --- a/free-programming-books.md +++ b/free-programming-books.md @@ -1640,10 +1640,15 @@ See also [TeX](#tex) See also [LaTeX](#latex) + ###Tizen * [Tizen for Dummies](https://developer.tizen.org/sites/default/files/blogs/tizenfordummiesmainchangelist.pdf) (PDF) by Jon Lansdell, Cheng Luo, Michelle Somersville +###TLA +* [Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers](http://research.microsoft.com/en-us/um/people/lamport/tla/book.html) (Postscript or PDF) by Leslie Lamport + + ###TypeScript * [TypeScript for C# Programmers](http://www.infoq.com/minibooks/typescript-c-sharp-programmers) * [TypeScript Succinctly, Syncfusion](http://www.syncfusion.com/resources/techportal/ebooks/typescript) (PDF, Kindle) *(Just fill the fields with any values)* From 02cc9e878f318fff20dc7ed4c7ba3cd36a720547 Mon Sep 17 00:00:00 2001 From: Xuankang Lin Date: Sat, 31 May 2014 00:52:40 -0400 Subject: [PATCH 2/2] add the index for TLA --- free-programming-books.md | 1 + 1 file changed, 1 insertion(+) diff --git a/free-programming-books.md b/free-programming-books.md index c08f0b668..e4c0523c4 100644 --- a/free-programming-books.md +++ b/free-programming-books.md @@ -147,6 +147,7 @@ * [Teradata](#teradata) * [TeX](#tex) * [Tizen](#tizen) +* [TLA](#tla) * [TypeScript](#typescript) * [Unix](#unix) * [Verilog](#verilog)