Wolper, Pierre.
Wolper, Pierre, 1955-....
Pierre Wolper informaticien et professeur belge
VIAF ID: 27117997 ( Personal )
Permalink: http://viaf.org/viaf/27117997
Preferred Forms
- 100 0 _ ‡a Pierre Wolper ‡c informaticien et professeur belge
- 200 _ | ‡a Wolper ‡b Pierre
- 100 1 _ ‡a Wolper, Pierre
-
-
-
- 100 1 _ ‡a Wolper, Pierre
-
-
- 100 1 0 ‡a Wolper, Pierre
- 100 1 _ ‡a Wolper, Pierre, ‡d 1955-....
-
4xx's: Alternate Name Forms (11)
Works
Title | Sources |
---|---|
CAV 95 | |
Computer aided verification : 7th international conference, CAV '95, Liège, Belgium, July 3-5, 1995 : proceedings | |
Introduction à la calculabilité | |
Protocol specification, testing and verification, XIII : proceedings of the IFIP TC6/WG6.1. thirteenth International Symposium on Protocol Specification, Testing and Verification, Liége, Belgium, 25-28 May, 1993 | |
SQL 2 : de la théorie à l'application | |
Synthesis of communicating processes ... c1982 |