ABUSE FORM
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
Posted By :
rexT
|
Date :
07 Sep 2009 02:44:40
|
Comments :
0
|
|
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
Leslie Lamport | 2002 | ISBN: 032114306X | PDF | 384 pages | English | 2 MB
A distillation of over 25 years of work by one of the world's most renowned computer scientists, Leslie Lamport. Useful for software and hardware engineers working in areas such as networking, communications, and data management.
No Mirrors Please
Links Don't Work ? Send Me A Private Message
| ADVERTISING » | High Speed Download | « ADVERTISING |
Recent searches:
No comments for the news