Zum Hauptinhalt springen

Autoren-Bilder

Zohar Manna

Autor von Mathematical Theory of Computation

14 Werke 82 Mitglieder 1 Rezension

Über den Autor

Zohar Manna: Stanford University

Werke von Zohar Manna

Beliebt Zuletzt

Mathematical Theory of Computation (1974) 30 Exemplare

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

The Deductive Foundations of Computer Programming (1993) 9 Exemplare

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

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

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

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

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

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

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

Studies in automatic programming logic (1977) 1 Exemplar

Teoria matematica della computazione 1 Exemplar

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

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

Informationen zu Werken

Getagged

#27 (1) 2006_catalog (1) 615-01 (1) _shelf1 (1) am Arbeitsplatz (1) Arbeit (1) Box 220 (1) BR1 (1) computational theory (1) Computer (1) Computer (1) cs theory (4) Darla Shelf 14 (1) dining room 1-2 (1) formal semantics (1) formal specifications (1) Gelesen (1) Home Office (1) im Besitz (3) Informatik (9) Informatik (1) kommentiert (2) li_3 (1) Logik (6) logik. concurrency (1) Mathematik (2) Monografie (1) noch zu lesen (2) packed (1) Programmierung (3) Sachbuch (3) Software (1) Softwaretechnik (2) Springer (2) Temporale Logik (2) theorem proving (1) Theoretische Informatik (1) Validation & Verification (2) verification (1) Verifizierung (2)

Tag-Übersetzung eingeschaltet

Wissenswertes

Geburtstag: 1939
Organisationen: ACM (Fellow, 1994)

Mitglieder

Rezensionen

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

NA

Gekennzeichnet

pszolovits | Feb 3, 2021 |

Mehr Rezensionen ansehen

Statistikseite

Werke: 14
Mitglieder: 82
Beliebtheit: #220,761
Bewertung: ½ 4.3

Rezensionen: 1
ISBNs: 19

Diagramme & Grafiken

Weitere Diagramme und Grafiken anzeigen

Bilder

Autoren-Galerie

Links

Wikipedia (English)

Helfer-Hub

LibraryThing-Mitglieder verbessern Autoren, indem sie Autorennamen und Werke kombinieren, gleichnamige Autoren in separate Identitäten aufteilen und vieles mehr.

Sind Sie das?

Werde ein LibraryThing-Autor.

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

Diese Seite verwendet Cookies für unsere Dienste, zur Verbesserung unserer Leistungen, für Analytik und (falls Sie nicht eingeloggt sind) für Werbung. Indem Sie LibraryThing nutzen, erklären Sie dass Sie unsere Nutzungsbedingungen und Datenschutzrichtlinie gelesen und verstanden haben. Die Nutzung unserer Webseite und Dienste unterliegt diesen Richtlinien und Geschäftsbedingungen.