Une Méthode axiomatique de preuve de propriétés de fatalité de programmes parallèles avec hypothèse d'exécution équitable.

Description

Th. 3e cycle--Inform.--Nancy--I.N.P.L., 1983.

Links & Downloads

1. http://catalogue.bnf.fr/ark:/12148/cb36101288d

Tags

Logique informatique Axiomes

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/465015413
Creators	Mery, Dominique,
Publisher	[S.l.n.d]
Source Sets	OCLC
Language	French
Detected Language	French