Research Catalog

Algebraic specifications in software engineering : an introduction

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

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
TextRequest in advance JSE 90-1583Offsite

Details

Additional Authors
Lewi, Johan.
Description
xiv, 350 p. : ill.; 25 cm.
Subjects
Bibliography (note)
  • Includes bibliographical references (p. [327]-342)
Call Number
JSE 90-1583
ISBN
0387516263 (U.S.)
LCCN
89026115
OCLC
NYPG90-B80792
Author
Horebeek, Ivo van, 1959-
Title
Algebraic specifications in software engineering : an introduction / Ivo van Horebeek, Johan Lewi.
Imprint
Berlin ; New York : Springer-Verlag, c1989.
Bibliography
Includes bibliographical references (p. [327]-342)
Added Author
Lewi, Johan.
Research Call Number
JSE 90-1583
View in Legacy Catalog