عنوان
پدید آورنده
موضوع
رده
QA .S8F67 76.9 1990
QA
.
S8F67
76
.
9
1990
کتابخانه
محل استقرار
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Formal methods in standards : a report from the BCS Working Group
First Statement of Responsibility
C.L.N. Ruggles, )ed.( ; principal contributors, Derek Andrews ... )et. al.(
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
London, New York
Name of Publisher, Distributor, etc.
Springer-Verlag
Date of Publication, Distribution, etc.
1990
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
135 p. : ill. ; 25 cm
SUMMARY OR ABSTRACT
Text of Note
Includes bibliographical references )p. )79(-92( and index
TOPICAL NAME USED AS SUBJECT
Entry Element
Electronic data processing - Standards - Great Britain
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
Classification Record Number
76
.
9
Book number
.
S8F67
1990
Ruggles, Clive L. N.
Andrews, Derek.
British Computer Society, Formal Methods in Standards Working Group
English Book
