AN ANALYSIS OF SEMANTIC MODELS FOR ALGEBRAIC SPECIFICATIONS

AN ANALYSIS OF SEMANTIC MODELS FOR ALGEBRAIC SPECIFICATIONS

著者名:

掲載資料名:

Theoretical foundations of programming methodology : lecture notes of an international summer school, directed by F.L. Bauer, E.W. Dijkstra and C.A.R. Hoare

シリーズ名:

NATO ASI series. Series C, Mathematical and physical sciences

シリーズ巻号:

91

発行年:

1982

開始ページ:

351

終了ページ:

413

総ページ数:

63

出版情報:

Dordrecht, Holland: D. Reidel

ISSN:

02582023

ISBN:

9789027714602 [9027714606]

言語:

英語

請求記号:

N11480/91

資料種別:

国際会議録

詳細

TDL書誌ID:	ZA00019100
シリーズID:	PA00000016
会議名:	Marktoberdorf Summer School on Theoretical Foundations of Programming Methodology
回次:	1981
会議開催地:	Munich
会議開催年:	1981.00.00

類似資料:

1 国際会議録 Equational Specification of Partial Higher Order Algebras Broy M. Springer-Verlag	7 国際会議録 Service-oriented Systems Engineering: Specification and Design of Services and Layered Architectures Broy, Manfred Springer
2 国際会議録 Specification and Refinement of a Buffer of Length One Broy M. Springer	8 国際会議録 Unifying Models and Engineering Theories of Composed Software Systems Broy, Manfred IOS Press
3 国際会議録 Algebraic Methods for Program Construction: The Project CIP Broy M. Springer-Verlag	9 国際会議録 Extensional Behaviour of Concurrent, Nondeterministic, Communicating Systems Broy M. Springer-Verlag
4 国際会議録 Functional Specification of Time Sensitive Communicating Systems Broy M. Springer-Verlag	10 国際会議録 Mathematical Methods in System and Software Engineering Broy M. Springer
5 国際会議録 Structured Specifications: Syntax, Semantics and Proof Calculus Wirsing Martin Springr-Verlag	11 国際会議録 From States to Histories: Relating State and History Views onto Systems Broy,M. IOS Press
6 国際会議録 Timed Rewriting Logic for the Specification of Time-Sensitive Systems Kosiuczenko Piotr, Wirsing Martin Springer	12 国際会議録 A FIXED POINT APPROACH TO APPLICATIVE MULTIPROGRAMMING Broy M. D. Reidel

1

2

3

4

5

6

7

8

9

10

11

12