عنوان
پدید آورنده
موضوع
رده
QA 76 .76 .D47 .I57 1985 vol.2
QA
76
.
76
.
D47
.
I57
1985
vol
.
2
کتابخانه
محل استقرار
OTHER STANDARD IDENTIFIER
Standard Number
79361
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
آخر۲۷
.Language of Text, Soundtrack etc
English
TITLE AND STATEMENT OF RESPONSIBILITY
General Material Designation
)20(
Title Proper
Formal methods and software development
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin, New York
Name of Publisher, Distributor, etc.
Springer-Verlag
Date of Publication, Distribution, etc.
1985
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xiv, 455 p.: ill.; 25 cm
SERIES
Series Title
Proceedings of the Interntiaonal Joint Conference on the Theory and practice of Software Development )TAPSOFT(, Berlin, March 52-92, 5891: v.2()Lecture notes in computer science; 681
GENERAL NOTES
Text of Note
Includes bibliographies and index
TOPICAL NAME USED AS SUBJECT
Entry Element
، Computer software-- Development-- Congresses
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
.
76
.
D47
.
I57
1985
vol
.
2
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
AU
Entry Element
Colloquim on Software Engineering )CSE(; edited by Hartmut Ehrig... ]et al.[
AU tuntraH ,girhE
TI
SE Lecture notes in computer science; 186
SE Interntaional joint Conference on Theory and practice of Software Development )1985: Berlin, Germany(, Proceedings of the International joint Conference on Theory and Practice of software Develoment )TAPSOFT(, Berlin, March 25-29 1985: v.2
CORPORATE BODY NAME - SECONDARY RESPONSIBILITY
Entry Element
Colloquim on Software Engineering)1985:Berlin,Germany(
LOCATION AND CALL NUMBER
Shelving Form of Title, Author, Author/Title
02
