RecordNumber

904

Author

Andrews, Derek

Title

Practical formal method with VDM

Author Statement

Derek Andrews , Darrel Ince

Publication

McGraw-Hill

Publication Year

[c1991]

Collation

xvi, 45op

Subject

Computer Daftuare-Development

ADDED ENTRIES

Ince, Darrel

Main Class

005

Sub Class

.1

Cutter no

A565p

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

Atabakhsh 1020^d//