search for books and compare prices
Zohar Manna has written 9 work(s)
Search for other authors with the same name
displaying 1 to 9 |
at end
show results in order: alphabetically | oldest to newest | newest to oldest
Product Description: 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 reactive systems...read more
Hardcover:
9780387976648 | Springer-Verlag New York Inc, November 1, 1991, cover price $169.00 | About this edition: Reactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent systems, control systems, etc.
Paperback:
9781461269502 | Reprint edition (Springer-Verlag New York Inc, October 17, 2012), cover price $169.00 | About this edition: Reactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent systems, control systems, etc.
Product Description: 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 construction is con sidered to be particularly challenging, including concurrent programs, embedded and process control programs, and operating systems...read more
Hardcover:
9780387944593 | Springer Verlag, May 1, 1995, cover price $219.00
Paperback:
9781461287018 | Springer Verlag, August 22, 2012, cover price $139.00 | About this edition: This book is about the verification of reactive systems.
Paperback:
9783642137532 | Springer-Verlag New York Inc, July 29, 2010, cover price $129.00 | About this edition: This volume is dedicated to the memory of the 1996 Turing Award winner Amir Pnueli.
Computational logic is a growing field with applications in artificial intelligence, constraint solving, and the design and verification of software and hardware systems. This book introduces computational logic from the foundations of first-order logic to decision procedures for arithmetic, data structures, and combination theories.
Hardcover:
9783540741121 | Springer-Verlag New York Inc, June 30, 2007, cover price $59.99 | About this edition: Computational logic is a growing field with applications in artificial intelligence, constraint solving, and the design and verification of software and hardware systems.
Paperback:
9783642093470 | Springer Verlag, September 3, 2007, cover price $59.99
Product Description: With the objective of making into a science the art of verifying computer programs (debugging), the author addresses both practical and theoretical aspects of the process. A classic of sequential program verification, this volume has been translated into almost a dozen other languages and is much in demand among graduate and advanced undergraduate computer science students...read more
Hardcover:
9780070399105 | McGraw-Hill College, November 1, 1974, cover price $103.35 | also contains Dot to Dot Count to 20 | About this edition: With the objective of making into a science the art of verifying computer programs (debugging), the author addresses both practical and theoretical aspects of the process.
Paperback:
9780486432380 | Dover Pubns, December 24, 2003, cover price $24.95 | About this edition: With the objective of making into a science the art of verifying computer programs (debugging), the author addresses both practical and theoretical aspects of the process.
(view table of contents)
Hardcover:
9780201548860 | Subsequent edition (Prentice Hall, January 1, 1993), cover price $64.99
Hardcover:
9780201182613 | Addison-Wesley, January 1, 1990, cover price $49.95
Hardcover:
9780201182606 | Prentice Hall, May 1, 1985, cover price $68.99 | About this edition: The Logical Basis for Computer Programming, Vol.
Product Description: 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 partially correct and terminates, and that a system of rewriting rules always halts...read more
Paperback:
9780898711646 | Society for Industrial & Applied, January 1, 1980, cover price $39.50 | About this edition: This monograph deals with aspects of the computer programming process that involve techniques derived from mathematical logic.
displaying 1 to 9 |
at end