عنوان
پدید آورنده
موضوع
رده
QA 76.6 .I545 1988
QA
76
.
6
.
I545
1988
کتابخانه
محل استقرار
Formal deseription techniques : Proceedings of the First International Conference on formal Description Techniques Stirling, Scotland, 6-9 September, 1988
1st : 1988 : Stirling, Scotland
Amsterdam
North-Holland
c1989
xvii, 351p.: ill
Includes bibliographies
ISBN: 0444871268
edited by Kenneth, J. Turner
1
Congresses ، Computer programming
Congresses ، Formal languages
QA
76
.
6
.
I545
1988
AU
AU Turner, Kenneth J.
TI
International Conference on Formal Description Techniques
