| Property |
Value |
| dbo:abstract
|
- Zohar Manna, né le 17 janvier 1939 à Haïfa et mort le 30 août 2018 à Netanya en Israël, est un informaticien israélo-américain. Il était professeur à l'université Stanford. Il est réputé comme l'auteur du livre The Mathematical Theory of Computation, qui est l'un des premiers ouvrages à développer les concepts mathématiques qui sont à la base de la programmation en informatique. (fr)
- Zohar Manna, né le 17 janvier 1939 à Haïfa et mort le 30 août 2018 à Netanya en Israël, est un informaticien israélo-américain. Il était professeur à l'université Stanford. Il est réputé comme l'auteur du livre The Mathematical Theory of Computation, qui est l'un des premiers ouvrages à développer les concepts mathématiques qui sont à la base de la programmation en informatique. (fr)
|
| dbo:almaMater
| |
| dbo:award
| |
| dbo:birthPlace
| |
| dbo:citizenship
| |
| dbo:deathPlace
| |
| dbo:discipline
| |
| dbo:doctoralAdvisor
| |
| dbo:doctoralStudent
| |
| dbo:employer
| |
| dbo:occupation
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 5134 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:année
|
- 1974 (xsd:integer)
- 1985 (xsd:integer)
- 1990 (xsd:integer)
- 1992 (xsd:integer)
- 1993 (xsd:integer)
- 1995 (xsd:integer)
- 2003 (xsd:integer)
- 2007 (xsd:integer)
|
| prop-fr:auteur
|
- Amir Pnueli (fr)
- Zohar Manna (fr)
- Aaron R. Bradley (fr)
- Johar Manna (fr)
- Richard J. Waldinger (fr)
- Amir Pnueli (fr)
- Zohar Manna (fr)
- Aaron R. Bradley (fr)
- Johar Manna (fr)
- Richard J. Waldinger (fr)
|
| prop-fr:doi
| |
| prop-fr:isbn
|
- 0 (xsd:integer)
- 978 (xsd:integer)
|
| prop-fr:langue
| |
| prop-fr:lieu
| |
| prop-fr:pagesTotales
|
- 464 (xsd:integer)
- XIV+427 (fr)
- XIV+717 (fr)
- XV+366 (fr)
- XV+512 (fr)
|
| prop-fr:titre
|
- The temporal logic of reactive and concurrent systems : specification (fr)
- Temporal verification of reactive systems: safety (fr)
- The deductive foundations of computer programming (fr)
- The mathematical theory of computation (fr)
- The logical basis for computer programming. Volume 1: deductive reasoning (fr)
- The calculus of computation : decision procedures with applications to verification (fr)
- The logical basis for computer programming. Volume 2:deductive systems (fr)
- The temporal logic of reactive and concurrent systems : specification (fr)
- Temporal verification of reactive systems: safety (fr)
- The deductive foundations of computer programming (fr)
- The mathematical theory of computation (fr)
- The logical basis for computer programming. Volume 1: deductive reasoning (fr)
- The calculus of computation : decision procedures with applications to verification (fr)
- The logical basis for computer programming. Volume 2:deductive systems (fr)
|
| prop-fr:wikiPageUsesTemplate
| |
| prop-fr:éditeur
|
- Springer (fr)
- Dover (fr)
- Addison-Wesley (fr)
- McGraw Hill (fr)
- Springer (fr)
- Dover (fr)
- Addison-Wesley (fr)
- McGraw Hill (fr)
|
| dct:subject
| |
| rdf:type
| |
| rdfs:comment
|
- Zohar Manna, né le 17 janvier 1939 à Haïfa et mort le 30 août 2018 à Netanya en Israël, est un informaticien israélo-américain. Il était professeur à l'université Stanford. Il est réputé comme l'auteur du livre The Mathematical Theory of Computation, qui est l'un des premiers ouvrages à développer les concepts mathématiques qui sont à la base de la programmation en informatique. (fr)
- Zohar Manna, né le 17 janvier 1939 à Haïfa et mort le 30 août 2018 à Netanya en Israël, est un informaticien israélo-américain. Il était professeur à l'université Stanford. Il est réputé comme l'auteur du livre The Mathematical Theory of Computation, qui est l'un des premiers ouvrages à développer les concepts mathématiques qui sont à la base de la programmation en informatique. (fr)
|
| rdfs:label
|
- Zohar Manna (fr)
- Zohar Manna (de)
- Zohar Manna (fr)
- Zohar Manna (de)
|
| rdfs:seeAlso
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:doctoralAdvisor
of | |
| is dbo:doctoralStudent
of | |
| is dbo:influencedBy
of | |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageWikiLink
of | |
| is prop-fr:directeurThèse
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
