CASL reference manual : the complete documentation of the common algebraic specification language (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : CASL reference manual : the complete documentation of the common algebraic specification languagehttps://catalogue-scientifique.canada.ca/record=2025993~S6*frcRechercher Mosses, PeterSpringer, 2004, ISBN : 9783540213017Livre
Action semantics (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Action semanticshttps://catalogue-scientifique.canada.ca/record=1543521~S6*frcRechercher Mosses, PeterCambridge University Press, 1992, ISBN : 0521403472Livre
CASL user manual : introduction to using the Common algebraic specification language (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : CASL user manual : introduction to using the Common algebraic specification languagehttps://catalogue-scientifique.canada.ca/record=2023467~S6*frcRechercher Bidoit, M; Rechercher Mosses, PeterSpringer, 2004, ISBN : 354020766XLivre électroniqueTexte intégral en ligne
Recent trends in algebraic development techniques : 17th international workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004 : revised selected papers (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Recent trends in algebraic development techniques : 17th international workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004 : revised selected papershttps://catalogue-scientifique.canada.ca/record=2069477~S6*frcRechercher Fiadeiro, José Luiz; Rechercher Mosses, Peter; Rechercher Orejas, FSpringer, 2005Actes de conférence
Recent trends in algebraic development techniques : 14th international workshop, WADT'99, Château de Bonas, September 15-18, 1999 : selected papers (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Recent trends in algebraic development techniques : 14th international workshop, WADT'99, Château de Bonas, September 15-18, 1999 : selected papershttps://catalogue-scientifique.canada.ca/record=1925271~S6*frcRechercher Bert, Didier; Rechercher Choppy, C; Rechercher Mosses, PeterSpringer, 2000Actes de conférence
Selected papers of TAPSOFT '95 (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Selected papers of TAPSOFT '95https://catalogue-scientifique.canada.ca/record=1684860~S6*frcRechercher Mosses, Peter; Rechercher Nielsen, M; Rechercher Schwartzbach, Michael IElsevier, 1996Actes de conférence
TAPSOFT '95 : theory and practice of software development : 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995 : proceedings (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : TAPSOFT '95 : theory and practice of software development : 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995 : proceedingshttps://catalogue-scientifique.canada.ca/record=1609284~S6*frcRechercher Mosses, Peter; Rechercher Nielsen, M; Rechercher Schwartzbach, Michael ISpringer, 1995Actes de conférence
Guidelines for design of low-rise buildings subjected to lateral forces (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Guidelines for design of low-rise buildings subjected to lateral forceshttps://catalogue-scientifique.canada.ca/record=1564716~S6*frcRechercher Gupta, Ajaya K; Rechercher Moss, Peter James; Rechercher Gupta, Alok Kumar; Rechercher Moss, P. JCRC Press, 1993, ISBN : 9780849389696Livre