---

＜電子ブック＞
Abstract Software Specifications : 1979 Copenhagen Winter School, January 22 - February 2, 1979. Proceedings / edited by D. Bjorner
(Lecture Notes in Computer Science. ISSN:16113349 ; 86)

版	1st ed. 1980.
出版者	(Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer)
出版年	1980
本文言語	英語
大きさ	XVI, 572 p : online resource
著者標目	Bjorner, D editor SpringerLink (Online service)
件　名	LCSH:Software engineering FREE:Software Engineering
一般注記	Abstract Architecture -- Foundations of denotational semantics -- Models of programming language concepts -- Formalization of data base models -- Experiments in block-structured GOTO language modeling: — EXITs versus continuations -- An introduction to data algebras -- Time sequences as a tool for describing program behaviour -- The semantics of clear, a specification language -- An example of hierarchical program specification -- Modular program construction using abstractions -- On the structure of application programs -- Abstract objects as abstract data types -- Design and analysis of highly parallel and distributed systems -- On the semantics of fair parallelism -- Dijkstra's predicate transformers and smyth's powerdomains -- Banquet talk HTTP:URL=https://doi.org/10.1007/3-540-10007-5

 類似資料