TY  - BOOK
AU  -  Lampor Lesliet
TI  -  Specifying Systems: : the tla+ language and tools for hardware and software engineers
SN  - 9780321143068
U1  - 004.21 
PY  - 2003///
CY  -  Boston, 
PB  - Addison-wesley
KW  -  Computer Systems Computer Systems Specifications Conception Logic, Symbolic And Mathematical
N1  - index
N2  - TLA+ represents an effective methodology for visualizing and quantifying algorithmic complexity in a way that is meaningful to engineers
ER  -