Salta al contenuto principale

Foto dell'autore

Zohar Manna

Autore di Mathematical Theory of Computation

13 opere 81 membri 1 recensione

Sull'Autore

Zohar Manna: Stanford University

Opere di Zohar Manna

Popolari Recenti

Mathematical Theory of Computation (1974) 30 copie

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

The Deductive Foundations of Computer Programming (1993) 9 copie

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

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

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

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

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

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

Esplora le opere

Etichette

#27 (1) 2006_catalog (1) 615-01 (1) @lavoro (1) _shelf1 (1) annotata (2) Box 220 (1) BR1 (1) computational theory (1) computazione (1) Computer (1) computer (1) cs theory (4) da leggere (2) Darla Shelf 14 (1) dining room 1-2 (1) formal semantics (1) formal specifications (1) formal verification (2) Home Office (1) Informatica (9) Informatica teorica (1) Ingegneria del software (2) lavoro (1) letto (1) li_3 (1) Logica (6) logik. concurrency (1) Matematica (2) Monografia (1) packed (1) posseduto (3) programmazione (3) Saggistica (3) Software (1) Springer (2) temporal logic (2) theorem proving (1) Validation & Verification (2) verification (1)

Traduzione delle etichette attiva

Informazioni generali

Data di nascita: 1939
Organizzazioni: ACM (Fellow, 1994)

Utenti

Recensioni

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

NA

Segnalato

pszolovits | Feb 3, 2021 |

Vedi altre recensioni

Statistiche

Opere: 13
Utenti: 81
Popolarità: #222,754
Voto: ½ 4.3

Recensioni: 1
ISBN: 19

Grafici & Tabelle

Vedi altri Grafici e tabelle

Immagini

Galleria dell'autore

Collegamenti

Wikipedia (English)

Centro di assistenza

I membri di LibraryThing migliorano gli autori combinando nomi di autori e opere, separando gli autori omonimi in identità distinte e altro ancora.

Centro di assistenza

Sei tu?

Diventa un autore di LibraryThing.

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

Questo sito utilizza i cookies per fornire i nostri servizi, per migliorare le prestazioni, per analisi, e (per gli utenti che accedono senza fare login) per la pubblicità. Usando LibraryThing confermi di aver letto e capito le nostre condizioni di servizio e la politica sulla privacy. Il tuo uso del sito e dei servizi è soggetto a tali politiche e condizioni.