<電子ブック>
Program Specification : Proceedings of a Workshop Aarhus, Denmark, August 1981 / edited by J. Staunstrup
(Lecture Notes in Computer Science. ISSN:16113349 ; 134)
版 | 1st ed. 1982. |
---|---|
出版者 | Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer |
出版年 | 1982 |
本文言語 | 英語 |
大きさ | VI, 426 p : online resource |
著者標目 | Staunstrup, J editor SpringerLink (Online service) |
件 名 | LCSH:Computer science LCSH:Software engineering FREE:Computer Science Logic and Foundations of Programming FREE:Software Engineering |
一般注記 | Program specification: Issues and observations -- Example 1: Geometrical constructions -- Example 1: Geometrical constructions -- Example 2: KWIC — index generation -- Example 2: KWIC — index generation -- Example 2: KWIC — index generation -- Example 2: KWIC — index generation -- Example 2: KWIC — index generation -- Example 2: KWIC — index generation -- Example 2: KWIC — index generation -- Example 3: Communication network -- Example 3: Communication network -- Partial correctness of distributed programs -- Specification of distributed programs -- Robust data types -- A reduction specification for DTL -- Recursive definitions of operations in universal algebras -- The SRDL specification experiment -- Program specification by module trees -- Parameter passing in algebraic specification languages -- A few remarks on putting formal specifications to productive use -- A specification language -- Tecton: A language for manipulating generic objects -- Concurrency -- Workshop on program specification -- List of participants HTTP:URL=https://doi.org/10.1007/3-540-11490-4 |
目次/あらすじ
所蔵情報を非表示
電子ブック | 配架場所 | 資料種別 | 巻 次 | 請求記号 | 状 態 | 予約 | コメント | ISBN | 刷 年 | 利用注記 | 指定図書 | 登録番号 |
---|---|---|---|---|---|---|---|---|---|---|---|---|
電子ブック | オンライン | 電子ブック |
|
|
Springer eBooks | 9783540391760 |
|
電子リソース |
|
EB00224971 |
書誌詳細を非表示
データ種別 | 電子ブック |
---|---|
分 類 | LCC:QA75.5-76.95 DC23:004.0151 |
書誌ID | 4001088780 |
ISBN | 9783540391760 |