Zohar Manna – författare
Visar alla böcker från författaren Zohar Manna. Handla med fri frakt och snabb leverans.
12 produkter
Temporal Verification of Reactive Systems
Safety
Inbunden, 1995
1128 kr
Lägg i varukorg
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 termination. The family of reactive systems includes many classes of programs whose correct and reliable …
Temporal Logic of Reactive and Concurrent Systems
Specification
Inbunden, 1991
1243 kr
Lägg i varukorg
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 systems to program. Temporal logic is a formal tool/language which yields excellent results in specifying …
Lectures on the Logic of Computer Programming
Av Zohar Manna
Häftad, 1987
600 kr
Lägg i varukorg
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 produces the intended result whenever it halts, that a given program will eventually halt, that a given program is …
Temporal Logic of Reactive and Concurrent Systems
Specification
E-bok, 2012
755 kr
Lägg i varukorg
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 systems to program. Temporal logic is a formal tool/language which yields excellent results in specifying …
Temporal Verification of Reactive Systems
Safety
E-bok, 2012
1459 kr
Lägg i varukorg
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 termination. The family of reactive systems includes many classes of programs whose correct and reliable …
Temporal Logic of Reactive and Concurrent Systems
Specification
Häftad, 2012
569 kr
Lägg i varukorg
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 systems to program. Temporal logic is a formal tool/language which yields excellent results in specifying …
Temporal Verification of Reactive Systems
Safety
Häftad, 2012
1243 kr
Lägg i varukorg
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 termination. The family of reactive systems includes many classes of programs whose correct and reliable …
Calculus of Computation
Decision Procedures with Applications to Verification
Av Aaron R. Bradley, Zohar Manna
Inbunden, 2007
850 kr
Lägg i varukorg
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 and advanced undergraduate students in mind, this textbook introduces computational logic from the …
Calculus of Computation
Decision Procedures with Applications to Verification
Av Zohar Manna, Aaron R. Bradley
E-bok, 2007
739 kr
Lägg i varukorg
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 and advanced undergraduate students in mind, this textbook introduces computational logic from the …
Calculus of Computation
Decision Procedures with Applications to Verification
Av Aaron R. Bradley, Zohar Manna
Häftad, 2010
569 kr
Lägg i varukorg
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 and advanced undergraduate students in mind, this textbook introduces computational logic from the …
Time for Verification
Essays in Memory of Amir Pnueli
Av Doron A. Peled, Zohar Manna
E-bok, 2010
1360 kr
Lägg i varukorg
