Search: [course,] - Bookmarks

Delete Set public Set private

88 shaares
16 private links

88 shaares · 16 private links

Filters

Links per page

20 50 100

2 results tagged course,

6.824: Distributed Systems course at MIT - Schedule

course, · distributed-systems

March 22, 2021 at 11:18:29 AM GMT+5:30 * · permalink

·

http://nil.csail.mit.edu/6.824/2020/schedule.html

The TLA+ Home Page

Many resources to learn TLA+ by Leslie Lamport.

course, · lamport, · tla+

January 30, 2021 at 7:51:47 AM GMT+5:30 * · permalink

·

https://lamport.azurewebsites.net/tla/tla.html

Filters

Links per page

20 50 100