عنوان
پدید آورنده
موضوع
رده
QA76.758 .B56 2006
QA76
.
758
.
B56
2006
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
Qualification
(v. 1)
Qualification
(v. 2)
Qualification
(v. 3)
(Number (ISBN
3540211497
(Number (ISBN
3540211500
(Number (ISBN
3540211519
NATIONAL BIBLIOGRAPHY NUMBER
Number
28057
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Software engineering
First Statement of Responsibility
D. Bjorner.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
New York
Name of Publisher, Distributor, etc.
Springer
Date of Publication, Distribution, etc.
2006.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
v.
Other Physical Details
ill.
SERIES
Series Title
(Texts in theoretical computer science, an EATCS series)
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and indexes.
CONTENTS NOTE
Text of Note
v. 1. Abstraction and modelling -- v. 2. Specification of systems and languages -- v. 3. Domains, requirements, and software design.
1
TOPICAL NAME USED AS SUBJECT
Entry Element
Software engineering.
Entry Element
Computer programming.
DEWEY DECIMAL CLASSIFICATION
Edition
22
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
758
Book number
.
B56
2006
PERSONAL NAME - PRIMARY RESPONSIBILITY
Entry Element
Bjorner, D.
Dates
1937-
Expansion of Initials of Forename
(Dines),
ORIGINATING SOURCE
Country
Iran
Agency
University of Tehran. Library of College of Science
Date of Transaction
20221122145752.0
ELECTRONIC LOCATION AND ACCESS
Date and Hour of Consultation and Access
UT_SCI_BL_DB_1003546_0001.pdf
p
BL
270410
a
Y
