The Library of Congress > LCCN Permalink

View this record in:  MARCXML | LC Authorities & Vocabularies | VIAF (Virtual International Authority File)External Link

Wolper, Pierre

LC control no.n 86819367
Personal name headingWolper, Pierre
    Browse this term in  LC Authorities  or the  LC Catalog
Found innuc86-32019: His Synthesis of communicating processes ... c1982 (hdg. on CLSU rept.: Wolper, Pierre León; usage: Pierre Wolper)
Computer aided verification, c1995: CIP t.p. (Pierre Wolper) t.p. verso (Inst. d'electr. Montefiore, Univ. de Liège, Belgium)