Algebraic Methods: Theory, Tools and Applications
1139945873
Algebraic Methods: Theory, Tools and Applications
109.99 Out Of Stock
Algebraic Methods: Theory, Tools and Applications

Algebraic Methods: Theory, Tools and Applications

Algebraic Methods: Theory, Tools and Applications

Algebraic Methods: Theory, Tools and Applications

Paperback(1989)

$109.99 
  • SHIP THIS ITEM
    Temporarily Out of Stock Online
  • PICK UP IN STORE

    Your local store may have stock of this item.

Related collections and offers

Product Details

ISBN-13: 9783540516989
Publisher: Springer Berlin Heidelberg
Publication date: 09/20/1989
Series: Lecture Notes in Computer Science , #394
Edition description: 1989
Pages: 564
Product dimensions: 6.10(w) x 9.25(h) x 0.05(d)

Table of Contents

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.
From the B&N Reads Blog

Customer Reviews