Buy Used and New Leslie Lamport Books

Results for Leslie Lamport

Showing 1 to 1 of 1 results
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers by Leslie Lamport

Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers

by Leslie Lamport


ISBN 13: 9780321143068

Format: Paperback (384 pages)
Publisher: Addison Wesley
Published: 19 Jul 2002

Save for later

 
New : $35.01  
New : $35.01