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

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextRequest in advance QA76.6 .I1778 1989Off-site

Holdings

Details

Additional Authors
  • Vuong, Son T.
  • IFIP Working Group 6.1.
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