Författare: Zohar Manna

Stöd

4 E-böcker av Zohar Manna

Zohar Manna & Amir Pnueli: 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 difficult computing syste …
PDF
Engelska
DRM
€57.96
Zohar Manna & Amir Pnueli: 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 final value on terminat …
PDF
Engelska
DRM
€115.25
Aaron R. Bradley & Zohar Manna: 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. Written with graduate a …
PDF
Engelska
DRM
€58.04