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

Authors: Lamport, Leslie

Ask AI a Question

Brand: Addison Wesley

ASIN: 032114306X (US)

35.99 USD In Stock

Category: N/A (Slug: subjects/computers-technology/business-technology)

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

0 / 300