Formal description techniques III

Name: Formal description techniques III
Author: / Edited by Juan Quemada, Jose Manas, Enrique Vazquez

نویسنده

/ Edited by Juan Quemada, Jose Manas, Enrique Vazquez

کتابخانه مرکزی دانشگاه تهران

نسخه 1

0-444-89024-6

فهرست

نسخه الکترونیکی

شناسنامه

عنوان و نام پدیدآور

Formal description techniques III / / Edited by Juan Quemada, Jose Manas, Enrique Vazquez

مشخصات نشر

آمستردام : : North - Holland، 1991م

مشخصات ظاهری

xvii, 584 p.؛ ; 25 cm؛ :fig.

موضوع

Electronic digital computers
Programming
Congresses
Formal languages
Congresses

شناسه های افزوده

Quemada, Juan, 1953-، نویسنده .
Manas, Jose, 1956-، نویسنده .
Vazquez, Enrique, 1960-، نویسنده .
Formal description techniques, 3، نویسنده .
Formal description techniques, Three، نویسنده .

زبان

انگلیسی

شماره بازیابی

کنگره:

انگليسي.

Includes bibliographical references.

خانه

کتابخانه من