| 000 | 00763nam a22001937a 4500 | ||
|---|---|---|---|
| 005 | 20250628175111.0 | ||
| 008 | 250628b |||||||| |||| 00| 0 eng d | ||
| 020 |
_a9780321143068 _qpbk |
||
| 041 | _aeng | ||
| 082 |
_a004.21 _bLAM |
||
| 100 | _a Lampor Lesliet | ||
| 245 |
_a Specifying Systems _b: the tla+ language and tools for hardware and software engineers _cLeslie Lamport |
||
| 260 |
_a Boston, _bAddison-wesley _c2003 |
||
| 300 |
_axvii; 364 p. _c24 cm |
||
| 504 | _aindex | ||
| 520 | _aTLA+ represents an effective methodology for visualizing and quantifying algorithmic complexity in a way that is meaningful to engineers. | ||
| 650 | _a Computer Systems Computer Systems Specifications Conception Logic, Symbolic And Mathematical | ||
| 942 | _cREF | ||
| 999 |
_c574227 _d574227 |
||