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

كم أعجبك هذا الكتاب؟

ما هي جودة الملف الذي تم تنزيله؟

قم بتنزيل الكتاب لتقييم الجودة

ما هي جودة الملفات التي تم تنزيلها؟

الفئات:

Computers - Computer Science

عام:

1985

الإصدار:

1

الناشر:

Springer-Verlag Berlin Heidelberg

اللغة:

english

الصفحات:

276

ISBN 10:

3540392696

ISBN 13:

9783540392699

سلسلة الكتب:

Lecture Notes in Computer Science 183

ملف:

PDF, 3.57 MB

IPFS:

,

english, 1985

إقرأ علي الإنترنت

تحميل (pdf, 3.57 MB)

جاري التحويل إلى

التحويل إلى باء بالفشل

قد تكون في قائمة إهتماماتك

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

أكثر المصطلحات والعبارات المستخدمة