| LC control no. | n 86819367 |
|---|---|
| Personal name heading | Wolper, Pierre |
| Found in | nuc86-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) |
 |  |  |
View this record in: MARCXML | LC Authorities & Vocabularies | VIAF (Virtual International Authority File)
