My Account Log in

1 option

Fundamentals of algebraic specification / H. Ehrig, B. Mahr.

LIBRA QA76.9.D35 E37 1985 v.1-2
Loading location information...

Available from offsite location This item is stored in our repository but can be checked out.

Log in to request item
Format:
Book
Author/Creator:
Ehrig, Hartmut.
Contributor:
Mahr, B. (Bernd)
Series:
EATCS monographs on theoretical computer science ; v. 6, etc.
EATCS monographs on theoretical computer science ; v. 6
Language:
English
Subjects (All):
Data structures (Computer science).
Algebra.
Physical Description:
volumes : illustrations ; 25 cm.
Other Title:
Algebraic specification.
Place of Publication:
Berlin ; New York : Springer-Verlag, c1985-
Contents:
1. Equations and initial semantics.
2. Module specifications and constraints.
Notes:
Includes index.
Bibliography: volume 1, pages [307]-315.
ISBN:
0387137181
OCLC:
11842068

The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.

Find

Home Release notes

My Account

Shelf Request an item Bookmarks Fines and fees Settings

Guides

Using the Find catalog Using Articles+ Using your account