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

Price 38.77 - 44.99 USD

EAN/UPC/ISBN Code 76092021339, 9780321143068
Brand Addison-Wesley Longman, Amsterdam
Manufacture Prentice-Hall Inc.