Formal description techniques, II
/ Edited by Son T. Vuong
Formal description techniques, II
نویسنده
/ Edited by Son T. Vuongنسخه 1
0-44488544-7
فهرست
شناسنامه
عنوان و نام پدیدآور
Formal description techniques, II / / Edited by Son T. Vuongمشخصات نشر
نیویورک : : North - Holland، 1990ممشخصات ظاهری
xiii, 549 p.؛ ; 24 cm.موضوع
Electronic digital computersProgramming
Congresses
Formal languages
Congresses
شناسه های افزوده
Vuong, Son T.، نویسنده .
IFIP TC/ WG 6.1.، نویسنده .
IFIP TC/ WG 6.1.، نویسنده .
زبان
انگلیسیشماره بازیابی
کنگره:
انگليسي.
Includes bibliographical references.
Includes bibliographical references.
