The Temporal Logic of Reactive and Concurrent Systems: Specification

Name: The Temporal Logic of Reactive and Concurrent Systems: Specification
Brand: Springer

£67.82

Pages: 441, Edition: 1992, Hardcover, Springer

Pages: 441, Edition: 1992, Hardcover, Springer

Price now:

Amazon

The Temporal Logic of Reactive and Concurrent Systems: Specification

Amazon

£67.82

£99.99

Temporal Logics (Elements in Philosophy and Logic)

Amazon

£16.56

£18.00

Temporal Verification of Reactive Systems: Safety

Amazon

£89.99

Temporal Logic: From Philosophy And Proof Theory To Artificial Intelligence And Quantum Computing

Amazon

£62.82

£70.00

Temporal Logic: From Ancient Ideas to Artificial Intelligence: 57 (Studies in Linguistics and Philosophy, 57)

Amazon

£129.99