---

＜電子ブック＞
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

 類似資料