Limit this search to....

  (2 items found)
Title Author / Artist Prod Type ISBN/ISBN-13
or UPC		 Pub
Date		 Price
Latex: A Document Preparation System (Addison-Wesley Series on Tools and Techniques for Computer T)Lamport, LesliePaperback0201529831 /
9780201529838		06/1994$47.49
Specifying Systems: The Tla+ Language and Tools for Hardware and Software EngineersLamport, LesliePaperback032114306X /
9780321143068		07/2002$42.74
  (2 items found)