Saltar al contenido principal

Fotografía de autor

Zohar Manna

Autor de Mathematical Theory of Computation

13 Obras 81 Miembros 1 Reseña

Sobre El Autor

Zohar Manna: Stanford University

Obras de Zohar Manna

Popular Reciente

Mathematical Theory of Computation (1974) 30 copias

The Logical Basis for Computer Programming, Vol. 1: Deductive Reasoning (1985) 17 copias

The Deductive Foundations of Computer Programming (1993) 9 copias

The Temporal Logic of Reactive and Concurrent Systems: Specification (1991) 8 copias

Lectures on the Logic of Computer Programming (1987) 4 copias

Temporal Verification of Reactive Systems: Safety (1995) 4 copias

The Logical Basis for Computer Programming, Vol. 2: Deductive Systems (1990) 2 copias

Time for verification essays in memory of Amir Pnueli (2010) 2 copias

Introduction to Mathematical Theory of Computation (Computer Science) (1974) 1 copia

The Temporal Logic of Reactive and Concurrent Systems: Specification: 001 1 copia

Studies in automatic programming logic (1977) 1 copia

Teoria matematica della computazione 1 copia

The Logical Basis for Computer Programming: Deductive Systems (Addison-Wesley Series in Computer Science) 1 copia

Explorador de obras

Etiquetado

#27 (1) 2006_catalog (1) 615-01 (1) @work (1) _shelf1 (1) annotated (2) Box 220 (1) BR1 (1) Ciencia computacional teórica (1) computación (1) Computadora (1) computadoras (1) computational theory (1) cs theory (4) Darla Shelf 14 (1) dining room 1-2 (1) En propiedad (3) formal semantics (1) formal specifications (1) Home Office (1) Informática (9) Ingeniería de software (2) Leído/a (1) li_3 (1) logik. concurrency (1) Lógica (6) Lógica temporal (2) Matemáticas (2) Monografía (1) No ficción (3) packed (1) Por leer (2) Programación (3) Software (1) Springer (2) theorem proving (1) Trabajo (1) Validation & Verification (2) Verificación formal (2) verification (1)

Traducción de etiquetas en funcionamiento

Conocimiento común

Fecha de nacimiento: 1939
Organizaciones: ACM (Fellow, 1994)

Miembros

Reseñas

The Logical Basis for Computer Programming, Vol. 1… por Zohar Manna

NA

Denunciada

pszolovits | Feb 3, 2021 |

Ver Más Reseñas

Estadísticas

Obras: 13
Miembros: 81
Popularidad: #222,754
Valoración: ½ 4.3

Reseñas: 1
ISBNs: 19

Tablas y Gráficos

Ver más tablas y gráficos

Imágenes

Galería de Autores

Enlaces

Wikipedia (English)

El sitio del colaborador

Los miembros de LibraryThing mejoran los autores combinando sus nombres y sus obras, separando los nombres de autores homónimos en identidades distintas, y más.

El sitio del colaborador

¿Eres tú?

Conviértete en un Autor de LibraryThing.

Verdana Standard Verdana Small The Lorax System Standard System Large Georgia Large Text Atkinson

Este sitio utiliza cookies para ofrecer nuestros servicios, mejorar el rendimiento, análisis y (si no estás registrado) publicidad. Al usar LibraryThing reconoces que has leído y comprendido nuestros términos de servicio y política de privacidad. El uso del sitio y de los servicios está sujeto a estas políticas y términos.