Zohar Manna (born 1939) is a professor of computer science at Stanford University. He is the author of The Mathematical Theory of Computation (McGraw Hill, 1974; reprinted Dover, 2003), one of the first texts to provide extensive coverage of the mathematical concepts behind computer programming.

PropertyValue
dbpprop:abstract
  • Zohar Manna (born 1939) is a professor of computer science at Stanford University. He is the author of The Mathematical Theory of Computation (McGraw Hill, 1974; reprinted Dover, 2003), one of the first texts to provide extensive coverage of the mathematical concepts behind computer programming. With Amir Pnueli, he co-authored an unfinished trilogy of textbooks on temporal logic and verification of reactive systems: The Temporal Logic of Reactive and Concurrent Systems: Specification (Springer-Verlag, 1991), The Temporal Logic of Reactive and Concurrent Systems: Safety (Springer-Verlag, 1995) and The Temporal Logic of Reactive and Concurrent Systems: Progress . In 1994 he was inducted as a Fellow of the Association for Computing Machinery.
dbpprop:hasPhotoCollection
dbpprop:reference
rdf:type
rdfs:comment
  • Zohar Manna (born 1939) is a professor of computer science at Stanford University. He is the author of The Mathematical Theory of Computation (McGraw Hill, 1974; reprinted Dover, 2003), one of the first texts to provide extensive coverage of the mathematical concepts behind computer programming.
rdfs:label
  • Zohar Manna
owl:sameAs
skos:subject
foaf:page
is dbpedia-owl:Scientist/doctoralAdvisor of
is dbpedia-owl:Scientist/doctoralStudent of
is dbpedia-owl:doctoralAdvisor of
is dbpedia-owl:doctoralStudent of
is dbpprop:disambiguates of
is dbpprop:doctoralAdvisor of
is dbpprop:doctoralStudents of
is owl:sameAs of