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

Authors: Lamport, Leslie

Ask AI a Question

Brand: Addison Wesley

ASIN: 032114306X (CA)

60.11 CAD Usually ships within 4 to 5 days

Category: N/A (Slug: computers-technology/computer-science/systems-analysis-design)

Ask a Question about "Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers"

0 / 300