Méthode progressive de synthèse et de vérification de programmes parallèles

Gribomont, Pascal

Back to search

ULiège - Université de Liège

Méthode progressive de synthèse et de vérification de programmes parallèles

dc:creator Gribomont, Pascal

dc:date1985

Degree

thesis:*

Grantor dc:publisher: ULiège - Université de Liège
Year dc:date: 1985

Author and committee

dc:creator, dc:contributor.*

Author dc:creator: Gribomont, Pascal
Contributors dc:contributor: Ribbens, Danny

Subjects

dc:subject × 4

Engineering, computing & technology
Computer science
Ingénierie, informatique & technologie
Sciences informatiques

Rights

Language dc:language: fr

Identifiers

dc:identifier.*

Identifier: info:hdl:2268/184474
OAI identifier oai:identifier: oai:orbi.ulg.ac.be:2268/184474

Chain of custody

source

Harvested from: Université de Liège
Base URL: orbi.uliege.be/oai/request
Last updated: 2026-07-24
Source record: OAI-PMH GetRecord

related terms

Engineering, computing & technology
Computer science
Ingénierie, informatique & technologie
liege
1985

citation

Gribomont, Pascal. Méthode progressive de synthèse et de vérification de programmes parallèles. ULiège - Université de Liège, 1985. https://orbi.uliege.be/handle/2268/184474

Méthode progressive de synthèse et de vérification de programmes parallèles

Degree

Author and committee

Subjects

Rights

Identifiers

Chain of custody

More from Université de Liège