عنوان
پدید آورنده
موضوع
رده
QA 76.9 .D5 I545 1994
QA
76
.
9
.
D5
I545
1994
کتابخانه
محل استقرار
English
Formal description techniques VII, proceedings of the 7th IFIP WG 6.1 International Conference on Formal Description Techniques
London
Chapman & Hall on behalf of the International Federation for Information Processing )IFIP(
1995
x, 520 p.: ill.; 24 cm.
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.
Includes bibliographical references and index
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
1
Congresses ، Electronic data processing - Distributed processing
Congresses ، Computer network protocols
Congresses ، Formal languages
Congresses ، Computer programming
QA
76
.
9
.
D5
I545
1994
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
International Conference on Formal Description Techniques )7th: 1994: Brene, Switzerland(
