Hakutulokset: Kirjoja kirjailijalta Manna Zohar
yhteensä 11 hakutulosta
Calculus of Computation
Computational logic is a fast-growing field with applications in artificial intelligence, constraint solving, and the design and verification of software and hardware systems. …
The Temporal Logic of Reactive and Concurrent Systems
Reactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent systems, control systems, etc. They are among the most …
The Temporal Logic of Reactive and Concurrent Systems
Reactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent systems, control systems, etc. They are among the most …
Temporal Logic of Reactive and Concurrent Systems
Reactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent systems, control systems, etc. They are among the most …
Lectures on the Logic of Computer Programming
This monograph deals with aspects of the computer programming process that involve techniques derived from mathematical logic. The author focuses on proving that a given program …
Time for Verification
The Calculus of Computation
Computational logic is a fast-growing field with applications in artificial intelligence, constraint solving, and the design and verification of software and hardware systems. …
Temporal Verification of Reactive Systems
This book is about the verification of reactive systems. A reactive system is a system that maintains an ongoing interaction with its environment, as opposed to computing some …
Mathematical Theory of Computation
With the objective of making into a science the art of verifying computer programs (debugging), the author addresses both practical and theoretical aspects. Subjects include …
The Calculus of Computation
Computational logic is a fast-growing field with applications in artificial intelligence, constraint solving, and the design and verification of software and hardware systems. …
Temporal Verification of Reactive Systems
This book is about the verification of reactive systems. A reactive system is a system that maintains an ongoing interaction with its environment, as opposed to computing some …