Formal description techniques, IV : proceedings of the IFIP TC6/WG 6.1 Fourth International Conferen...
Formal description techniques, IV : proceedings of the IFIP TC6/WG 6.1 Fourth International Conferen...
Formal description techniques, IV : proceedings of the IFIP TC6/WG 6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE '91, Sydney, Australia, 19-22 November 1991 / edited by K.R. Parker, G.A. Rose.
About this item
Full title
Publisher
Amsterdam ; New York : North-Holland ; Distributors for the U.S. and Canada, Elsevier Science Pub., 1992.
Date
1992.
Call Numbers
T0371978
Record Identifier
MMS ID
Language
English
Formats
Physical Description
Physical content
xv, 574 p. : ill. ; 23 cm.
Publication information
Publisher
Amsterdam ; New York : North-Holland ; Distributors for the U.S. and Canada, Elsevier Science Pub., 1992.
Analytical title
Formal description techniques, 4.
Formal description techniques, four.
Date Published
1992.
Subjects
More information
Alternative Titles
Full title
Formal description techniques, IV : proceedings of the IFIP TC6/WG 6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE '91, Sydney, Australia, 19-22 November 1991 / edited by K.R. Parker, G.A. Rose.
Variant title
Formal description techniques, 4.
Formal description techniques, four.
Authors, Artists and Contributors
Author / Artists
Notes
General note
IFIP transactions. C, Communication systems ; C-2.
Includes bibliographical references and index.
Transferred from N005.131/4.
Identifiers
Primary Identifiers
Call Numbers
T0371978
Record Identifier
74VKPKX3rjaZ
Permalink
https://devfeature-collection.sl.nsw.gov.au/record/74VKPKX3rjaZ
Other Identifiers
ISBN
0444894020
9780444894021
DDC
005.131
MMS ID
991019574579702626
