عنوان
پدید آورنده
موضوع
رده
QA 76.6 .I185 1990
QA
76
.
6
.
I185
1990
کتابخانه
محل استقرار
0-444-89024-6
IR
123278
انگلیسی
IR
Formal description techniques III
[Book]
: Proceedings of the IFIP TC/WG 6.1 third International Conference on formal Description Techniques for Distributed Systems and Communications Protocols FORTE 90 Madrid Spain 5-8 November 1990
/ Edited by Juan Quemada, Jose Manas, Enrique Vazquez
Amsterdam
: North - Holland
, 1991
xvii, 584 p.
:fig
; 25 cm
انگليسي
Includes bibliographical references
Electronic digital computers -- Programming -- Congresses
Formal languages-- Congresses
QA
76
.
6
.
I185
1990
Quemada
Manas
Vazquez
Formal description techniques
Formal description techniques
, Juan
, Jose
, Enrique
, 3
, Three
, 1953-
, 1956-
, 1960-
IFIP TC6 International Conference on Formal Description Techniques Distributed Systems and Communications Protocols
3rd
: Madrid Spain
: 1990
Iran
Central Library Of Tehran University
Old cataloging
BL
1
Y
