PRODUCT NAME

Addison-Wesley Professional Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers

PRODUCT CODE: PROD130070435

PRODUCT INFORMATION

Technical Details


Product Details

Product Dimensions

Package Dimensions
Width : 7.5 inch
Height : 1 inch
Length : 9.2 inch

Item Weight: 1.7 pounds (View shipping rates and policies)
Shipping Weight: 1.1 pounds (View shipping rates and policies)

ASIN : 032114306X