Research Catalog
Formal description techniques, II : proceedings of the IFIP TC 6/WG 6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE '89, Vancouver, Canada, 5-8 December 1989
- Title
- Formal description techniques, II : proceedings of the IFIP TC 6/WG 6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE '89, Vancouver, Canada, 5-8 December 1989 / edited by Son T. Vuong.
- Author
- IFIP TC/WG 6.1 International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols (2nd : 1989 : Vancouver, B.C.)
- Publication
- Amsterdam ; New York : North-Holland, 1990.
Items in the Library & Off-site
Filter by
1 Item
Status | Format | Access | Call Number | Item Location |
---|---|---|---|---|
Text | Request in advance | QA76.6 .I1778 1989 | Off-site |
Holdings
Details
- Additional Authors
- Description
- xiii, 549 pages : illustrations; 23 cm
- Subjects
- Bibliography (note)
- Includes bibliographical references.
- ISBN
- 0444885447
- LCCN
- 90007278
- OCLC
- 508191098
- ocn508191098
- Owning Institutions
- Columbia University Libraries