Cover of Specifying systems

An edition of Specifying systems (2002)

Specifying systems

the TLA+ language and tools for hardware and software engineers

By Leslie Lamport

0 (0 Ratings)

4 Want to read0 Currently reading0 Have read

4 Want to read0 Currently reading0 Have read

Publish Date

2003

Publisher

Addison-Wesley

Language

eng

Pages

364

Description:

subjects: Computer systems, Specifications, Symbolic and mathematical Logic, System design, Logic, symbolic and mathematical, Logic, Logic & foundations of mathematics, Computer architecture/engineering