عنوان
پدید آورنده
موضوع
رده
QA 76.9 .D5F6 2015 E-Book ,
QA
76
.
9
.
D5F6
2015
E-Book
,
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
:9783319191942
NATIONAL BIBLIOGRAPHY NUMBER
Number
13508
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Formal Techniques for Distributed Objects, Components, and Systems
General Material Designation
[electronic resources]
Other Title Information
: 35th IFIP WG 6.1 International Conference, FORTE 2015 Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015 Grenoble, France, June 2–4, 2015 Proceedings
First Statement of Responsibility
\ Susanne Graf , Mahesh Viswanathan (Eds.)
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Cham
Name of Publisher, Distributor, etc.
: Springer
Date of Publication, Distribution, etc.
, 2015
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xii, 245 p
Other Physical Details
:ill
SERIES
Series Title
Lecture Notes in Computer Science
Volume Designation
; 9039
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Index
Text of Note
Bibliography
TOPICAL NAME USED AS SUBJECT
Electronic data processing -- Distributed processing -- Congresses.
Formal methods (Computer science) -- Congresses.
Computer network protocols -- Congresses.
دادهپردازی -- پردازش توزبع شده -- کنگره ها
روشهای صوری (کامپیوتر) -- کنگره ها
پروتکلهای شبکه کامپیوتری -- کنگره ها
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
.
9
Book number
.
D5F6
2015
E-Book
,
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Graf, Susanne
Viswanathan, Mahesh
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
International Federated Conferences on Distributed Computing Techniques (10th : 2015 : Grenoble, France)
ORIGINATING SOURCE
Country
ایران
ELECTRONIC LOCATION AND ACCESS
Date and Hour of Consultation and Access
9783319191942.pdf
p
BL
279177
1
a
N
