Zohar Manna
Zohar Manna (1939 – 30 August 2018) was an Israeli-American computer scientist who was a professor of computer science at Stanford University. Provided by Wikipedia
Showing 1 - 5 results of 5 for search 'Manna, Zohar', query time: 0.01s
Refine Results
-
1
The temporal logic of reactive and concurrent systems / by Manna, Zohar
Published 1992Call Number: Loading…Publisher description
Located: Loading…
Book -
2
The deductive foundations of computer programming / by Manna, Zohar
Published 1993Call Number: Loading…
Located: Loading…Book Loading… -
3
Temporal verification of reactive systems : safety / by Manna, Zohar
Published 1995Call Number: Loading…
Located: Loading…Book Loading… -
4
Studies in automatic programming logic / by Manna, Zohar, 1939-
Published 1977Call Number: Loading…
Located: Loading…Book Loading… -
5
The calculus of computation : decision procedures with applications to verification / by Bradley, Aaron R.
Published 2007Other Authors: “…Manna, Zohar…”
Call Number: Loading…Table of contents
Located: Loading…
Publisher description
Book
Search Tools:
Related Subjects
Lógica matemática
Mathematical logic
Programs-Verification
ANALISIS DE SISTEMAS
Analysis of algorithms and problem complexity
Análisis de algoritmos y problemas de complejidad
Computación por dispositivos abstractos
Computation by abstract devices
Computer programming
Discrete mathematics
Formal languages
Lenguajes formales
Matemática discreta
PROGRAMAS DE COMPUTADORA
Proceso de la administración
Process management
Program verification
Programas-Especificación
Programas-Verificación
Programas-Verificación:
Programs-Specification
Symbolic and mathematical Logic
Verificación de programas