Functional programming, concurrency, simulation and automated reasoning : international lecture series 1991-1992, McMaster University, Hamilton, Ontario, Canada (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Functional programming, concurrency, simulation and automated reasoning : international lecture series 1991-1992, McMaster University, Hamilton, Ontario, Canadahttps://catalogue-scientifique.canada.ca/record=1559571~S6*frcRechercher Lauer, Peter ESpringer-Verlag, 1993, ISBN : 9783540568834Livre
Specification and analysis of concurrent systems : the COSY approach (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Specification and analysis of concurrent systems : the COSY approachhttps://catalogue-scientifique.canada.ca/record=1533956~S6*frcRechercher Janicki, Ryszard; Rechercher Lauer, Peter ESpringer-Verlag, 1992, ISBN : 0387552049Livre
ICCI '92 : proceedings : Fourth International Conference on Computing and Information, May 28-30, 1992, Toronto, Canada (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : ICCI '92 : proceedings : Fourth International Conference on Computing and Information, May 28-30, 1992, Toronto, Canadahttps://catalogue-scientifique.canada.ca/record=1548525~S6*frcRechercher Koczkodaj, W. W; Rechercher Lauer, Peter E; Rechercher Toptsis, Anestis AIEEE Computer Society Press, 1992Actes de conférence