Author Statement

Cliff B. Jones

Edition

2nd ed

Collation

xiv, 333 P.: Illus

Addition

,

Title

Systematic software development using VDM

LC Class

005

LC Number

.1

LC CutterNumber

J 76 S

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

/ /

Publication Year

1990

Birth-Death

1944-

LC Date

Ed.2

Publication

Prentice Hall

Series

Prentice Hall international series in computer science

Subject

Computer software- Development

DocumentNumber

504

ISBNN

,

RecordNumber

5192