Livros de Peter D. Mosses - BookPine

Casl User Manual: Introduction to Using the Common Algebraic Specification Language

Casl User Manual: Introduction to Using the Common Algebraic Specification Language

Michel Bidoit

Action Semantics

Action Semantics

Peter D. Mosses

CASL Reference Manual: The Complete Documentation of the Common Algebraic Specification Language

CASL Reference Manual: The Complete Documentation of the Common Algebraic Specification Language

Peter D. Mosses

Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics

Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics

M. Hagiya

Tapsoft '95: Theory and Practice of Software Development : 6th International Joint Conference Caap/Fase Aarhus, Denmark, May 22-26, 1995 : Proceedin

Tapsoft '95: Theory and Practice of Software Development : 6th International Joint Conference Caap/Fase Aarhus, Denmark, May 22-26, 1995 : Proceedin

Portugal) ETAPS 98 (1998 : Lisbon