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, [2001], ©2001.
Items in the Library & Off-site
Filter by
1 Item
Status | Format | Access | Call Number | Item Location |
---|---|---|---|---|
Text | Request in advance | QA76.9.F67 S64 2001 | Off-site |
Details
- Additional Authors
- Description
- xxiii, 282 pages : illustrations; 24 cm.
- Series Statement
- Formal approaches to computing and information technology, 1431-9683
- Uniform Title
- Formal approaches to computing and information technology.
- Subjects
- Bibliography (note)
- Includes bibliographical references and index.
- ISBN
- 1852333537 (pbk : alk. paper)
- LCCN
- 00061256
- OCLC
- ocm44732273
- SCSB-4075728
- Owning Institutions
- Columbia University Libraries