عنوان
پدید آورنده
موضوع
رده
QA 76.6 .I185 1992
QA
76
.
6
.
I185
1992
کتابخانه
محل استقرار
IR
25091
انگلیسی
IR
Formal description technique
[Book]
/ edited by K.R. Parker, G.A. Rose
Amsterdam
: North-Holland
, 1992
xv, 574 p.
: ill
; 24 cm
IFIP transactions. C, Communication systems
; C-2
English
ISBN: 0-444-89402-0
Includes bibliographical references
Electronic digital computers -- Programming -- Congresses
Formal languages -- Congresses
QA
76
.
6
.
I185
1992
IFIP TC6/WG 6.1 International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols (4th: 1991: Sydney, Australia), author
Parker, K.R.
Rose, G.A.
International Federation for information processing. Technical Committee
ایران
University of Tehran. Library of Technical Camp 1
Old cataloging
p
BL
1
Y
