Research Catalog
Formal specification : techniques and applications
- Title
- Formal specification : techniques and applications / Nimal Nissanke.
- Author
- Nissanke, Nimal.
- Publication
- London ; New York : Springer, [1999], ©1999.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | QA76.9.F67 N57 1999 | Off-site |
Details
- Description
- xvii, 295 pages : illustrations; 24 cm
- Subjects
- Bibliography (note)
- Includes bibliographical references (p. [289]-291) and index.
- ISBN
- 1852330023 (alk. paper)
- LCCN
- 99036324
- OCLC
- ocm41580653
- Owning Institutions
- Columbia University Libraries