Algebraic Methods: Theory, Tools and Applications 1

Data & IT

Algebraic Methods: Theory, Tools and Applications

Martin Wirsing • Jan A Bergstra

Pocket

1499:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

564 sidor
1989

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.

Författare: Martin Wirsing, Jan A Bergstra
Format: Pocket/Paperback
ISBN: 9783540516989
Språk: Engelska
Antal sidor: 564
Utgivningsdatum: 1989-09-01
Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K