+612 9045 4394
Algebraic Methods : Theory, Tools and Applications - Martin Wirsing

Algebraic Methods

Theory, Tools and Applications

By: Martin Wirsing (Editor), Jan A. Bergstra (Editor)

Paperback Published: 20th September 1989
ISBN: 9783540516989
Number Of Pages: 564

Share This Book:


or 4 easy payments of $45.32 with Learn more
Ships in 5 to 9 business days
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.

ISBN: 9783540516989
ISBN-10: 3540516980
Series: Lecture Notes in Computer Science
Audience: General
Format: Paperback
Language: English
Number Of Pages: 564
Published: 20th September 1989
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 2.92
Weight (kg): 0.79