Similar Listings
The Temporal Logic of Reactive and Concurrent Systems: Specification
Fundamentals of Computing I : Logic, Problem-Solving, Programs an
The Temporal Logic of Reactive Systems Vol. 1 : Specification Har
The Temporal Logic of Reactive and Concurrent Systems - 9781461269502
The Temporal Logic of Reactive and Concurrent Systems: Specification by Manna
Executing Temporal Logic Programs,B.C Moszkowski
Fundamentals of Computing I : Logic, Problem-Solving, Programs an
Fundamentals of Computing I: Logic, Problem Solving, Programs, and Computers...