Passer au contenu principal

Photo de l'auteur

Zohar Manna

Auteur de Mathematical Theory of Computation

14 oeuvres 82 utilisateurs 1 Critiques

A propos de l'auteur

Zohar Manna: Stanford University

Œuvres de Zohar Manna

Populaires Récent

Mathematical Theory of Computation (1974) 30 exemplaires

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

The Deductive Foundations of Computer Programming (1993) 9 exemplaires

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

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

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

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

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

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

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

Studies in automatic programming logic (1977) 1 exemplaire

Teoria matematica della computazione 1 exemplaire

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

Introduction to Mathematical Theory of Computation (Computer Science) by Zohar Manna (1974-11-01) 1 exemplaire

Explorateur d'oeuvres

Étiqueté

#27 (1) 2006_catalog (1) 615-01 (1) @work (1) _shelf1 (1) A lire (2) annoté (2) Box 220 (1) BR1 (1) computational theory (1) cs theory (4) Darla Shelf 14 (1) dining room 1-2 (1) Département de l'Intérieur (1) emballé (1) formal semantics (1) formal specifications (1) Génie logiciel (2) Informatique (9) Informatique (1) Informatique théorique (1) li_3 (1) Logiciel (1) logik. concurrency (1) Logique (6) Logique temporelle (2) Lu (1) Mathématiques (2) Monographie (1) non-fiction (3) Ordinateur (1) Ordinateurs (1) Possédé (3) Programmation (3) Springer (2) theorem proving (1) Travail (1) Validation & Verification (2) Vérification (1) Vérification formelle (2)

Traduction des mots-clés activée

Partage des connaissances

Date de naissance: 1939
Organisations: ACM (Fellow, 1994)

Membres

Critiques

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

NA

Signalé

pszolovits | Feb 3, 2021 |

Voir davantage de critiques

Statistiques

Œuvres: 14
Membres: 82
Popularité: #220,761
Évaluation: ½ 4.3

Critiques: 1
ISBN: 19

Tableaux et graphiques

Voir plus de tableaux et graphiques

Photos

Galerie des auteurs

Liens

Wikipedia (English)

Centre d'aide

Les membres de LibraryThing améliorent les auteurs en combinant les noms d'auteurs et les œuvres, en séparant les auteurs homonymes en identités distinctes, et bien plus encore.

Est-ce vous ?

Devenez un(e) auteur LibraryThing.

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

Ce site utilise des cookies pour fournir nos services, optimiser les performances, pour les analyses, et (si vous n'êtes pas connecté) pour les publicités. En utilisant Librarything, vous reconnaissez avoir lu et compris nos conditions générales d'utilisation et de services. Votre utilisation du site et de ses services vaut acceptation de ces conditions et termes.