عنوان
پدید آورنده
موضوع
رده
QA 76.6 .I1778 1989
QA
76
.
6
.
I1778
1989
کتابخانه
محل استقرار
0-44488544-7
IR
123257
انگلیسی
IR
Formal description techniques, II
[Book]
: proceedings of the IFIP TC/ WG 6.1. Second International Conference on Formal Description on Techniques for Distributed Systems and Communications Protocols, FORTE 89, Vancouver, Canada, 5-8 December 1989
/ Edited by Son T. Vuong
New York
: North - Holland
, 1990
xiii, 549 p.
; 24 cm
انگليسي
Includes bibliographical references
Electronic digital computers -- Programming -- Congresses
Formal languages-- Congresses
QA
76
.
6
.
I1778
1989
Vuong
IFIP TC/ WG 6.1.
, Son T.
IFIP TC5/WG 5.7 International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols
( 2nd
: Vancouver, B.C.)
: 1989
Iran
Central Library Of Tehran University
Old cataloging
BL
1
Y
