Algebraic specification

by Bergstra, J. A. Heering, J. Klint, Paul

Type Book
Rate 0.0 /5

This book brings together recent research work on algebraic specification (AS), which aims to provide formal techniques for the specification and prototyping of software. The book uses a practical approach to the design and use of AS formalisms, and illustrate how AS techniques can be applied in generating executable prototypes.

Read More ↓
Details
Files
Reviews
Download

Title Statements

  • Full title :Algebraic specification / edited by J. A. Bergstra, J. Heering, P. Klint.

Summary

This book brings together recent research work on algebraic specification (AS), which aims to provide formal techniques for the specification and prototyping of software. The book uses a practical approach to the design and use of AS formalisms, and illustrate how AS techniques can be applied in generating executable prototypes.

Read More ↓

Edition Statements

  • Publication Date:©1989.

Publication Statements

The Physical Object

  • Description:1 online resource (xiii, 397 pages) : : illustrations.

Edition Identifiers

  • oclc:ocn598096630
  • LC Classification:QA76.9.A23
  • Dewey Decimal:005.13/1

Subjects

Abstract data types (Computer science) Algebra Algebra -- Computer programs Computer Systems Génie logiciel software Specificatie SPECIFICATIONS Types abstraits de données (informatiqu…

Writers

Bergstra, J. A. Heering, J. Klint, Paul

More from this Series

Rate & Review

0.0/5
(0 people Voted)

No reviews yet. Be the first to rate this work.

Files & Downloads

  • Algebraic Specification (Acm Press Frontier Serie…

    DJVU · 3.0 MB · updated
    Login →