SubTitle

third international symposium ,ATVA 2005 Taipei,taiwan,october 4-7.2005 proceedings

Author Statement

Doron A.peled,yih-kuen Tsay

Collation

xii,506 P.:illus,tables,fig.

Addition

,

Title

Automated technology for verification and analysis

LC Class

620

LC Number

.00420285

LC CutterNumber

P 381 A

وارد كنندة اطلاعات

MM

تاريخ ورود اطلاعات

1387/03/11

Publication Year

2005

Publication

springer

Subject

Computer- aided design -- congresses,Engineering design --data processing -- congresses

DocumentNumber

33058

ISBNN

,

RecordNumber

10578