Coding 2015
Monday, May 25, 2015
Bahasa Pemodelan TLA+
TLA adalah bahasa pemodelan untuk memodelkan suatu sistem.
Resource:
http://research.microsoft.com/en-us/um/people/lamport/tla/tla-intro.html
TLA homepage:
http://research.microsoft.com/en-us/um/people/lamport/tla/tla.html
Wikipedia entry
https://en.wikipedia.org/wiki/TLA%2B
Newer Posts
Older Posts
Home
Subscribe to:
Posts (Atom)
