VIAF

Virtual International Authority File

Search

Mosses, Peter D. ISNI National Library of the Netherlands Sudoc [ABES], France NUKAT Center of Warsaw University Library German National Library

Mosses, Peter Library of Congress/NACO

Peter Mosses Wikidata

Mosses, Peter D., 1948- National Library of the Czech Republic

VIAF ID: 728498 (Personal)

Permalink: http://viaf.org/viaf/728498

ISNI: 0000  0001  1585  0778 

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 4xx's: Alternate Name Forms (4)

Open Section Close SectionWorks

Title Sources
Action semantics Library of Congress/NACO National Library of the Netherlands Sudoc [ABES], France NUKAT Center of Warsaw University Library
CASL user manual : introduction to using the Common algebraic specification language Sudoc [ABES], France Library of Congress/NACO National Library of the Netherlands
The mathematical semantics of Algol 60 Library of Congress/NACO
Recent trends in algebraic development techniques : 17th international workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004 : revised selected papers Library of Congress/NACO National Library of the Netherlands Sudoc [ABES], France
Selected papers of TAPSOFT '95 / guest eds: P. D. Mosses, M. Nielsen, M. I. Schwartzbach. - Amsterdam, 1996. NUKAT Center of Warsaw University Library
TAPSOFT '95 : theory and practice of software development : 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995 : proceedings Library of Congress/NACO National Library of the Netherlands Sudoc [ABES], France NUKAT Center of Warsaw University Library
Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics International Conference IFIP TCS 2000 Sendai, Japan, August 17–19, 2000 Proceedings Sudoc [ABES], France
WADT 2004 Library of Congress/NACO National Library of the Netherlands

Open Section Close Section Selected Co-authors

Open Section Close Section Countries of Publication (4)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (9)

Open Section Close Section History of VIAF ID:728498 (16)