zorbash | Bookmarks (2)

clear filters

List of common misconceptions

wikipedia.org

logic
1
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers

amazon.co.uk

computers computing & internet distributed-systems leslie lamport logic
1