Formal description techniques III

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

Author

/ Edited by Juan Quemada, Jose Manas, Enrique Vazquez

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

Edition 1

0-444-89024-6

list

Digital Version(s)

شناسنامه

Title and Author

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

Publication Details

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

Physical Description

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

Subject

Electronic digital computers
Programming
Congresses
Formal languages
Congresses

Added Identifiers

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

Language

انگلیسی

Retrieval Number

Congress:

انگليسي.

Includes bibliographical references.

Home

My Library