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.

الرئيسية

مكتبتي