Amir Pnueli
![](https://upload.wikimedia.org/wikipedia/commons/0/0e/Amir_Pnueli.jpg)
Showing 1 - 2 results of 2 for search 'Pnueli, Amir', query time: 0.01s
Refine Results
-
1
The temporal logic of reactive and concurrent systems / by Manna, Zohar
Published 1992Other Authors: “…Pnueli, Amir…”
Call Number: Loading…Publisher description
Located: Loading…
Book -
2
Temporal verification of reactive systems : safety / by Manna, Zohar
Published 1995Other Authors: “…Pnueli, Amir…”
Call Number: Loading…
Located: Loading…Book Loading…
Search Tools:
Related Subjects
Analysis of algorithms and problem complexity
Análisis de algoritmos y problemas de complejidad
Computer programming
Discrete mathematics
Formal languages
Lenguajes formales
Lógica matemática
Matemática discreta
Mathematical logic
Proceso de la administración
Process management
Programas-Verificación:
Programs-Verification
Symbolic and mathematical Logic