عنوان
پدید آورنده
موضوع
رده
QA 76 .758 .L54 1996
QA
76
.
758
.
L54
1996
کتابخانه
محل استقرار
981-02-2804-X
202169
englishus
Tang, Chih- Sung, 5291-
Logic and software engineering : international workshop in honor of Chih-Sung Tang : Beijing, 14-15 August 1995
Singapore ; New Jersey
World Scientific
1996
viii, 311p.: ill., col.
، Software engineering - Congresses
، Logic, Symbolic and mathematical - Congresses
QA
76
.
758
.
L54
1996
AU
Chih- Sung Tang; editors, A. Pnueli, H. Lin
AU A ,ileunP
AU (nimiuH) .H ,niL
TI
ه مرکزیانابخکت
