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
No comments:
Post a Comment
Newer Post
Older Post
Home
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment