Menu
Home
Advanced Search
Directory of Libraries
About lib.ir
Contact Us
History
عنوان
Formal methods for open object-based distributed systems
پدید آورنده
/ Martin Steffen, Gianluigi Zavattaro (eds.).
موضوع
Electronic data processing--Distributed processing--Congresses.,Object-oriented programming (Computer science)--Congresses.
رده
QA76
.
9
.
D5
I573
2005
کتابخانه
Library of College of Science University of Tehran
محل استقرار
استان:
Tehran
ـ شهر:
Tehran
تماس با کتابخانه :
61112616
-
66495290
-
021
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3540261818
NATIONAL BIBLIOGRAPHY NUMBER
Country Code
IR
Number
E2221
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
COUNTRY OF PUBLICATION OR PRODUCTlON
Country of publication
IR
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Formal methods for open object-based distributed systems
General Material Designation
[electronic resources]
Other Title Information
: proceedings
First Statement of Responsibility
/ Martin Steffen, Gianluigi Zavattaro (eds.).
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin
Name of Publisher, Distributor, etc.
: Springer
Date of Publication, Distribution, etc.
, 2005.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
x, 321 p.
Other Physical Details
: ill.
SERIES
Series Title
(Lecture notes in computer science
Volume Designation
; 3535)
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and index.
TOPICAL NAME USED AS SUBJECT
Electronic data processing--Distributed processing--Congresses.
Object-oriented programming (Computer science)--Congresses.
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
9
Book number
.
D5
I573
2005
PERSONAL NAME - SECONDARY RESPONSIBILITY
Steffen, Martin, editor.
Zavattaro, Gianluigi, editor.
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
International Conference on Formal Methods for Open Object-Based Distributed Systems (7th : 2005 : Athens, Greece)
CORPORATE BODY NAME - ALTERNATIVE RESPONSIBILITY
IFIP Working Group 6.1.
ORIGINATING SOURCE
Country
ایران
Agency
University of Tehran. College of Science Library
Date of Transaction
20220105
ELECTRONIC LOCATION AND ACCESS
Date and Hour of Consultation and Access
UT_SCI_BL_DB_1002337_0001.pdf
old catalog
e
BL
278840
1
a
Y
Proposal/Bug Report
×
Proposal/Bug Report
×
Warning!
Enter The Information Carefully
Error Report
Proposal