Equational Specification of Partial Higher Order Algebras

著者名:: Broy M.
掲載資料名:: Logic of programming and calculi of discrete design : International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare
シリーズ名:: NATO ASI series. Series F, Computer and systems sciences
シリーズ巻号:: 36
発行年:: 1987
開始ページ:: 185
終了ページ:: 241
総ページ数:: 57
出版情報:: Berlin: Springer-Verlag
ISSN:: 02581248
ISBN:: 9783540180036 [3540180036]
言語:: 英語
請求記号:: N11483/36
資料種別:: 国際会議録

詳細

TDL書誌ID:	ZA00016865
シリーズID:	PA00000019
会議名:	NATO Advanced Study Institute on Logic of Programming and Calculi of Discrete Design
回次:	1986
会議開催地:	Marktoberdorf, FRG
会議開催年:	1986.07.29-1986.08.10

1 国際会議録 AN ANALYSIS OF SEMANTIC MODELS FOR ALGEBRAIC SPECIFICATIONS Wirsing M., Broy M. D. Reidel	7 国際会議録 Mathematical Methods in System and Software Engineering Broy M. Springer
2 国際会議録 Specification and Refinement of a Buffer of Length One Broy M. Springer	8 国際会議録 From States to Histories: Relating State and History Views onto Systems Broy,M. IOS Press
3 国際会議録 Algebraic Methods for Program Construction: The Project CIP Broy M. Springer-Verlag	9 国際会議録 A FIXED POINT APPROACH TO APPLICATIVE MULTIPROGRAMMING Broy M. D. Reidel
4 国際会議録 Functional Specification of Time Sensitive Communicating Systems Broy M. Springer-Verlag	10 国際会議録 Program Construction by Transformations: A Family Tree of Sorting Programs BROY M. D. Reidel
5 国際会議録 Service-oriented Systems Engineering: Specification and Design of Services and Layered Architectures Broy, Manfred Springer	11 国際会議録 A Logical Basis for Modular Systems Engineering Broy M. IOS Press
6 国際会議録 Extensional Behaviour of Concurrent, Nondeterministic, Communicating Systems Broy M. Springer-Verlag	12 国際会議録 Towards a Design Methodology for Distributed Systems Broy M. Springer-Verlag

1

2

3

4

5

6

7

8

9

10

11

12