Research Catalog

Algebraic specifications in software engineering : an introduction

Title
  1. Algebraic specifications in software engineering : an introduction / Ivo van Horebeek, Johan Lewi.
Published by
  1. Berlin ; New York : Springer-Verlag, c1989.
Author
  1. Horebeek, Ivo van, 1959-

Items in the library and off-site

Filter by

Displaying 1 item

StatusFormatAccessCall numberItem location
Status
Request for on-site useRequest scan
How do I pick up this item and when will it be ready?
FormatBook/TextAccessRequest in advanceCall numberJSE 90-1583Item locationOffsite

Details

Additional authors
  1. Lewi, Johan.
Description
  1. xiv, 350 p. : ill.; 25 cm.
Subject
  1. Abstract data types (Computer science)
  2. Software engineering
Call number
  1. JSE 90-1583
Bibliography (note)
  1. Includes bibliographical references (p. [327]-342)
Author
  1. Horebeek, Ivo van, 1959-
Title
  1. Algebraic specifications in software engineering : an introduction / Ivo van Horebeek, Johan Lewi.
Imprint
  1. Berlin ; New York : Springer-Verlag, c1989.
Bibliography
  1. Includes bibliographical references (p. [327]-342)
Added author
  1. Lewi, Johan.
LCCN
  1. 89026115
ISBN
  1. 0387516263 (U.S.)
Research call number
  1. JSE 90-1583
View in legacy catalog