Research Catalog

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

Title
Fundamentals of algebraic specification / H. Ehrig, B. Mahr.
Author
Ehrig, Hartmut
Publication
Berlin ; New York : Springer-Verlag, ©1985-

Items in the Library & Off-site

Filter by

2 Items

StatusVol/DateFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
v.1TextRequest in advance QA76.9.D35 E37 1985 v.1Off-site
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
v.2TextRequest in advance QA76.9.D35 E37 1985 v.2Off-site

Holdings

Details

Additional Authors
Mahr, B. (Bernd)
Description
volumes : illustrations; 25 cm.
Series Statement
EATCS monographs on theoretical computer science ; v. 6, 21
Uniform Title
EATCS monographs on theoretical computer science ; v. 6, etc.
Alternative Title
Algebraic specification.
Subject
  • Data structures (Computer science)
  • Algebra
Bibliography (note)
  • Includes bibliographies and indexes.
Contents
1. Equations and initial semantics -- 2. Module specifications and constraints.
ISBN
0387137181 (U.S. : v. 1)
LCCN
85004784
Owning Institutions
Columbia University Libraries