search for books and compare prices
Specifying Systems: The Tla+ Language and Tools for Hardware and Software Engineers
Descriptions of each edition are found in brief where available. Click details & prices to get more information on a book or to find the best prices for the title.
Paperback
from Addison-Wesley Professional (August 1, 2002)
9780321143068 | details & prices | 384 pages | 7.75 × 9.00 × 0.50 in. | 1.25 lbs | List price $44.99