Research Catalog
Formal specification : techniques and applications
- Title
- Formal specification : techniques and applications / Nimal Nissanke.
- Author
- Nissanke, Nimal.
- Publication
- London ; New York : Springer, c1999.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSE 00-1820 | Offsite |
Details
- Description
- xvii, 295 p. : ill.; 23 cm.
- Subjects
- Bibliography (note)
- Includes bibliographical references and index.
- Call Number
- JSE 00-1820
- ISBN
- 1852330023 (alk. paper)
- LCCN
- 99036324
- OCLC
- 41580653
- Author
- Nissanke, Nimal.
- Title
- Formal specification : techniques and applications / Nimal Nissanke.
- Imprint
- London ; New York : Springer, c1999.
- Bibliography
- Includes bibliographical references and index.
- Research Call Number
- JSE 00-1820