عنوان
پدید آورنده
موضوع
رده
QA76.76.D47 V85 1987
QA76
.
76
.
D47
V85
1987
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
0387176543 (U.S. : pbk.)
(Number (ISBN
3540176543
(Number (ISBN
9780387176543 (U.S. : pbk.)
(Number (ISBN
9783540176541
NATIONAL BIBLIOGRAPHY NUMBER
Number
b393888
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
VDM '87 :
General Material Designation
[Book]
Other Title Information
VDM, a formal method at work : VDM-Europe symposium 1987, Brussels, Belgium, March 23-26, 1987 : proceedings /
First Statement of Responsibility
edited by D. Bjørner ... [et al.].
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
New York :
Name of Publisher, Distributor, etc.
Springer-Verlag,
Date of Publication, Distribution, etc.
c1987.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
ix, 422 p. :
Other Physical Details
ill. ;
Dimensions
24 cm.
SERIES
Series Title
Lecture notes in computer science ;
Volume Designation
252.
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographies.
SYSTEM REQUIREMENTS NOTE (ELECTRONIC RESOURCES)
Text of Note
Mode of access: World Wide Web.
OTHER EDITION IN ANOTHER MEDIUM
Title
VDM '87.
TOPICAL NAME USED AS SUBJECT
Computer software-- Development-- Congresses.
Computer software industry-- European Economic Community countries-- Congresses.
DEWEY DECIMAL CLASSIFICATION
Number
005
.
1
Edition
19
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
76
.
D47
Book number
V85
1987
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Bjørner, D., (Dines),1937-
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
VDM '87(1987 :, Brussels, Belgium)
CORPORATE BODY NAME - ALTERNATIVE RESPONSIBILITY
VDM-Europe.
ORIGINATING SOURCE
Date of Transaction
20140613185535.0
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
