Michel Sintzoff (né à Ixelles le 12 août 1938 et mort à Ottignies-Louvain-la-Neuve le 28 novembre 2010) est un mathématicien et informaticien belge, précurseur de l'interprétation abstraite de programmes.

Property Value
dbo:abstract
  • Michel Sintzoff (né à Ixelles le 12 août 1938 et mort à Ottignies-Louvain-la-Neuve le 28 novembre 2010) est un mathématicien et informaticien belge, précurseur de l'interprétation abstraite de programmes. (fr)
  • Michel Sintzoff (né à Ixelles le 12 août 1938 et mort à Ottignies-Louvain-la-Neuve le 28 novembre 2010) est un mathématicien et informaticien belge, précurseur de l'interprétation abstraite de programmes. (fr)
dbo:birthPlace
dbo:deathDate
  • 2010-11-28 (xsd:date)
dbo:deathPlace
dbo:doctoralStudent
dbo:occupation
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 11599361 (xsd:integer)
dbo:wikiPageLength
  • 5958 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 187855970 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:année
  • 1986 (xsd:integer)
prop-fr:auteur
  • Anna Gram (fr)
  • Anna Gram (fr)
prop-fr:collection
  • Dunod informatique (fr)
  • Dunod informatique (fr)
prop-fr:consultéLe
  • 2018-03-31 (xsd:date)
prop-fr:isbn
  • 0978-02-04 (xsd:date)
prop-fr:lieu
  • Paris (fr)
  • Paris (fr)
prop-fr:pagesTotales
  • 388 (xsd:integer)
prop-fr:titre
  • Raisonner pour programmer (fr)
  • Raisonner pour programmer (fr)
prop-fr:wikiPageUsesTemplate
prop-fr:éditeur
dct:subject
rdf:type
rdfs:comment
  • Michel Sintzoff (né à Ixelles le 12 août 1938 et mort à Ottignies-Louvain-la-Neuve le 28 novembre 2010) est un mathématicien et informaticien belge, précurseur de l'interprétation abstraite de programmes. (fr)
  • Michel Sintzoff (né à Ixelles le 12 août 1938 et mort à Ottignies-Louvain-la-Neuve le 28 novembre 2010) est un mathématicien et informaticien belge, précurseur de l'interprétation abstraite de programmes. (fr)
rdfs:label
  • Michel Sintzoff (fr)
  • Michel Sintzoff (fr)
rdfs:seeAlso
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageWikiLink of
is oa:hasTarget of
is foaf:primaryTopic of