Collation

XXV,418 P.:illus,tables,fig.

Addition

,

Title

Software specification methods

LC Class

004

LC Number

.0151

LC CutterNumber

S 781

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

MM

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

1387/02/28

Publication Year

2006

Publication

ISTE

Subject

Formal methods ( computer science ),computer software - specifications

Editor

edited by Habrias,Marc frappier

DocumentNumber

32954

ISBNN

,

RecordNumber

10479