Lampor Lesliet <br/><br/>
Specifying Systems  : the tla+ language and tools for hardware and software engineers 
Leslie Lamport 
 - Boston,   Addison-wesley  2003 
 - xvii; 364 p.  24 cm 
<br/><br/>Includes index 
<br/><br/> TLA+ represents an effective methodology for visualizing and quantifying algorithmic complexity in a way that is meaningful to engineers. 
<br/><br/><label>ISBN: </label>9780321143068 
<br/><br/><label>Subjects--Topical Terms: </label><br/> Computer Systems Computer Systems Specifications Conception Logic, Symbolic And Mathematical
<br/><br/><label>Dewey Class. No.: </label>004.21  / LAM