Research Catalog
Modern formal methods and applications
- Title
- Modern formal methods and applications / edited by Hossam A. Gabbar.
- Publication
- Dordrecht : Springer, 2006.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSE 06-950 | Offsite |
Details
- Description
- xxiii, 197 p. : ill.; 25 cm.
- Subject
- Bibliography (note)
- Includes bibliographical references and index.
- Call Number
- JSE 06-950
- ISBN
- 1402042221 (hbk.)
- LCCN
- 9781402042225
- 9781402042232
- OCLC
- 63514328
- Title
- Modern formal methods and applications / edited by Hossam A. Gabbar.
- Imprint
- Dordrecht : Springer, 2006.
- Bibliography
- Includes bibliographical references and index.
- Other Standard Identifier
- 97814020422259781402042232
- Research Call Number
- JSE 06-950