The Munich Project CIP

Main
Computers - Computer Science
The Munich Project CIP

The Munich Project CIP

F. L. Brauer, R. Berghammer, W. Dosch, R. Gnatz, E. Hangel, B. Möller, H. Partsch, P. Pepper, K. Samelson, H. Wössner, M. Broy, F. Nickl, M. Wirsing, F. Geiselbrechtinger, W. Hesse, B. Krieg-Brückner, A. Laut, T. Matzner (auth.)

0 / 0

Quanto Você gostou deste livro?

Qual é a qualidade do ficheiro descarregado?

Descarregue o livro para avaliar a sua qualidade

De que qualidade são os ficheiros descarregados?

Categorias:

Computers - Computer Science

Ano:

1985

Edição:

1

Editora:

Springer-Verlag Berlin Heidelberg

Idioma:

english

Páginas:

276

ISBN 10:

3540392696

ISBN 13:

9783540392699

Série:

Lecture Notes in Computer Science 183

Arquivo:

PDF, 3.57 MB

IPFS:

,

english, 1985

Descargar (pdf, 3.57 MB)

A converter para

Conversão para falhou

Você pode estar interessado em

Carl A. Gunter, Peter D. Mosses, Dana S. Scott — Semantic Domains and Denotational Semantics

Kenneth Slonneger, Barry Kurtz — Formal Syntax And Semantics Of Programming Languages

Nikolaos S. Papaspyrou — A Formal Semantics for the C Programming Language

Richard Goodman — Annual review in automatic programming. . V. 3

R D Tennent — Semantics of programming languages

R. D. Tennent — Semantics of programming languages

Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.) — Handbook of Logic in Computer Science. Volume 5: Logic and Algebraic Methods

J. A. Bergstra, J. Heering — Algebraic Specification (Acm Press Frontier Series)

Raphael Finkel — Advanced Programming Language Design

Kenneth Slonneger, Barry L. Kurtz — Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach

Michael J. C. Gordon (auth.) — The Denotational Description of Programming Languages: An Introduction

Robert Milne, Christopher Strachey — A theory of programming language semantics, part A

Meertens, Lambert G (eds.) — Program specification and transformation : proceedings of the IFIP TC2 / WG 2.1 Working Conference on Program Specification and Transformation, Bad Tölz, FRG, 15-17 Apr., 1986

Marek Karpinski, J. Van Leeuwen — Topics in the theory of computation: selected papers of the International Conference on ’’Foundations of Computation Theory’’, FCT ’83, Borgholm, Sweden, August 21-27, 1983’

Peter D. Mosses — Action Semantics

Peter D. Mosses — Action Semantics

Peter D. Mosses — Action Semantics

Raphael Finkel — Advanced Programming Language Design

Kenneth C. Louden, Kenneth A. Lambert — Programming Languages: Principles and Practices

F. L. Brauer, R. Berghammer, W. Dosch, R. Gnatz, E. Hangel, B. Möller, H. Partsch, P. Pepper, K. Samelson, H. Wössner, M. Broy, F. Nickl, M. Wirsing, F. Geiselbrechtinger, W. Hesse, B. Krieg-Brückner, A. Laut, T. Matzner (auth.) — The Munich Project CIP

S. Kamal Abdali, David S. Wise (auth.), Austin Melton (eds.) — Mathematical Foundations of Programming Semantics: International Conference Manhattan, Kansas, April 11–12, 1985 Proceedings

Dines Bjørner — Software Engineering 1: Abstraction and Modelling

Dines Bjørner — Software Engineering 2: Specification of Systems and Languages

Alfonso Miola — Design and Implementation of Symbolic Computation Systems: International Symposium DISCO '90 Capri, Italy, April 10–12, 1990 Proceedings

Gordon M.J.C. — The Denotational Description of Programming Languages: An Introduction

John V. Guttag, James J. Horning — Larch: Languages and Tools for Formal Specification

P. Wegner (auth.), Ellis Horowitz (eds.) — Programming Languages: A Grand Tour

Frases chave