عنوان
پدید آورنده
موضوع
رده
QA76.9.F67 F53 2002
QA76
.
9
.
F67
F53
2002
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3540203036 (alk. paper)
NATIONAL BIBLIOGRAPHY NUMBER
Number
b513042
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Formal methods for components and objects :
General Material Designation
[Book]
Other Title Information
First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002 : revised lectures /
First Statement of Responsibility
Frank S. de Boer ... [et al.] (eds.)
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
New York :
Name of Publisher, Distributor, etc.
Springer-Verlag,
Date of Publication, Distribution, etc.
2003
PROJECTED PUBLICATION DATE
Date
0311
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
viii, 507 p. :
Other Physical Details
ill. ;
Dimensions
24 cm
SERIES
Series Title
Lecture notes in computer science ;
ISSN of Series
2852
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and index
TOPICAL NAME USED AS SUBJECT
Component software, Congresses
Formal methods (Computer science), Congresses
Object-oriented programming (Computer science), Congresses
(SUBJECT CATEGORY (Provisional
QA
DEWEY DECIMAL CLASSIFICATION
Number
005
.
3
Edition
22
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
9
.
F67
Book number
F53
2002
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Boer, Frank S. de
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
FMCO 2002(2002 :, Leiden, Netherlands)
ORIGINATING SOURCE
Date of Transaction
20031112173551.0
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
