. . . . . . "Michel Sintzoff (n\u00E9 \u00E0 Ixelles le 12 ao\u00FBt 1938 et mort \u00E0 Ottignies-Louvain-la-Neuve le 28 novembre 2010) est un math\u00E9maticien et informaticien belge, pr\u00E9curseur de l'interpr\u00E9tation abstraite de programmes."@fr . . . "388"^^ . . . . . . . . . . "Dunod informatique"@fr . . "Michel Sintzoff"@fr . . . . "Raisonner pour programmer"@fr . . . . . . "Paris"@fr . . . . . . "0978-02-04"^^ . "5958"^^ . . . . . . "2010-11-28"^^ . . . . "Michel Sintzoff (n\u00E9 \u00E0 Ixelles le 12 ao\u00FBt 1938 et mort \u00E0 Ottignies-Louvain-la-Neuve le 28 novembre 2010) est un math\u00E9maticien et informaticien belge, pr\u00E9curseur de l'interpr\u00E9tation abstraite de programmes."@fr . . . . . . . . . . . . . . . . . . . . . . . . . . "11599361"^^ . . . . . . . "2018-03-31"^^ . . . . "1986"^^ . . "Anna Gram"@fr . "187855970"^^ . . . .