Algebraic Methods: Theory, Tools and Applications

Jan A. Bergstra

ISBN 10: 3540516980 / ISBN 13: 9783540516989

Published by Springer Berlin Heidelberg Sep 1989, 1989

About this Item

This item is printed on demand - it takes 3-4 days longer - Neuware -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. 568 pp. Englisch.

Seller Inventory # 9783540516989

Bibliographic Details

• Title: Algebraic Methods: Theory, Tools and Applications
• Publisher: Springer Berlin Heidelberg Sep 1989
• Publication Date: 1989
• Language: English
• ISBN 10: 3540516980
• ISBN 13: 9783540516989
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 235W x 155H x 31D millimeters 235 millimeters width by 155 millimeters height by 31 millimeters depth
• Weight: 850 grams

About this title

Synopsis

Lecture Notes in Computer Science 394; Ex-Library. Previous owner's sticker on the front cover. Small pen inscription on title page; library catalogue sticker on reverse of front cover. Faintly scuffed spine head from sticker removal. Creased on rear leading corner. Sound, clean book with tight binding. ADG.