Research Catalog
Software specification methods : an overview using a case study
- Title
- Software specification methods : an overview using a case study / Marc Frappier and Henri Habrias (eds).
- Publication
- London ; [New York] : Springer, c2001.
Items in the Library & Off-site
Filter by
1 Item
Status | Format | Access | Call Number | Item Location |
---|---|---|---|---|
Text | Request in advance | JSE 01-90 | Offsite |
Details
- Additional Authors
- Description
- xxiii, 282 p. : ill.; 24 cm.
- Series Statement
- Formal approaches to computing and information technology, 1431-9683
- Subjects
- Bibliography (note)
- Includes bibliographical references and index.
- Call Number
- JSE 01-90
- ISBN
- 1852333537 (alk. paper)
- LCCN
- 00061256
- OCLC
- vendor
- Title
- Software specification methods : an overview using a case study / Marc Frappier and Henri Habrias (eds).
- Imprint
- London ; [New York] : Springer, c2001.
- Series
- Formal approaches to computing and information technology, 1431-9683
- Bibliography
- Includes bibliographical references and index.
- Added Author
- Frappier, Marc, 1965-Habrias, Henri.
- Research Call Number
- JSE 01-90