عنوان
پدید آورنده
موضوع
رده
QA 76.9 .D5 I545 1994
QA
76
.
9
.
D5
I545
1994
کتابخانه
محل استقرار
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
English
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Formal description techniques VII, proceedings of the 7th IFIP WG 6.1 International Conference on Formal Description Techniques
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
London
Name of Publisher, Distributor, etc.
Chapman & Hall on behalf of the International Federation for Information Processing )IFIP(
Date of Publication, Distribution, etc.
1995
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
x, 520 p.: ill.; 24 cm.
GENERAL NOTES
Text of Note
Selected proceedings of the seventh International Conference on Formal Techniques, arranged by the International Federation for Information Processing and held in Brene, Switzerland, October 1994.
Text of Note
Includes bibliographical references and index
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY
Text of Note
sponsored by IFIP WG 6.1 in cooperation with ACM SIGCOMM and the IEEE Computer Society Technical Commitee on Distributed Processing; edited by Dieter Hogrefe and Stefan Leue
ORIGINAL VERSION NOTE
Text of Note
1
TOPICAL NAME USED AS SUBJECT
Entry Element
Congresses ، Electronic data processing - Distributed processing
Entry Element
Congresses ، Computer network protocols
Entry Element
Congresses ، Formal languages
Entry Element
Congresses ، Computer programming
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
.
9
.
D5
I545
1994
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
AU
AU Hogrefe, Dieter
AU Leue, Stefan
CO IFIP Working Group 6.1
CO Association for Computing machinery. Special Interest Group on Data Communications.
CO IEEE Computer Society Technical Committee on Distributed Processing
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
Entry Element
International Conference on Formal Description Techniques )7th: 1994: Brene, Switzerland(
