<電子ブック>
Algebraic Methods: Theory, Tools and Applications / edited by Martin Wirsing, Jan A. Bergstra
(Lecture Notes in Computer Science. ISSN:16113349 ; 394)
版 | 1st ed. 1989. |
---|---|
出版者 | (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer) |
出版年 | 1989 |
本文言語 | 英語 |
大きさ | VIII, 564 p : online resource |
著者標目 | Wirsing, Martin editor Bergstra, Jan A editor SpringerLink (Online service) |
件 名 | LCSH:Software engineering LCSH:Compilers (Computer programs) LCSH:Computer programming LCSH:Computer networks LCSH:Computer science FREE:Software Engineering FREE:Compilers and Interpreters FREE:Programming Techniques FREE:Computer Communication Networks FREE:Computer Science Logic and Foundations of Programming |
一般注記 | Algebraic specification a step towards future software engineering -- How to make algebraic specifications more understandable? -- Efficient implementation of an algebraic specification language -- An integrated algebraic approach to the specification of data types, processes and objects -- Software specification by behavioural canons -- An introduction to COLD-K -- A formal specification of INGRES -- The logic MPL? -- Description algebra -- The calculus ?? -- The RAP system as a tool for testing COLD specifications -- A specification of the intel 8085 microprocessor: A case study -- Specification and prototyping of a compiler for a small applicative language -- Algebraic ADT specifications of an extended relational algebra and their conversion into a working prototype -- ACP? a universal axiom system for process specification -- Modular specifications in process algebra -- An algebraic specification of process algebra, including two examples HTTP:URL=https://doi.org/10.1007/BFb0015032 |
目次/あらすじ
所蔵情報を非表示
電子ブック | 配架場所 | 資料種別 | 巻 次 | 請求記号 | 状 態 | 予約 | コメント | ISBN | 刷 年 | 利用注記 | 指定図書 | 登録番号 |
---|---|---|---|---|---|---|---|---|---|---|---|---|
電子ブック | オンライン | 電子ブック |
|
Springer eBooks | 9783540467588 |
|
電子リソース |
|
EB00224845 |