عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
OTHER STANDARD IDENTIFIER
Standard Number
6064
TITLE AND STATEMENT OF RESPONSIBILITY
First Statement of Responsibility
Andrews, Derek.
Title Proper
Practical formal methods with VDM
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
London
Name of Publisher, Distributor, etc.
McGraw- Hill
Date of Publication, Distribution, etc.
c1991
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xvi, 450 p. :ill. ;25 cm
GENERAL NOTES
Text of Note
Includes bibliographical references and index.
TOPICAL NAME USED AS SUBJECT
Entry Element
، Computer software- Development
DEWEY DECIMAL CLASSIFICATION
Number
005
.
1
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
.
76
.
D47A52
1991
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
AU
Entry Element
Derek Andrews and Darrel Ince
AU (lerraD) .D ,ecnI
TI
