عنوان
پدید آورنده
موضوع
رده
QA,76.9,.D5,I573,2009
QA
,
76
.
9
,.
D5
,
I573
,
2009
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
Qualification
(pbk.)
(Number (ISBN
9783642021374
NATIONAL BIBLIOGRAPHY NUMBER
Country Code
IR
Number
ebook49432
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 techniques for distributed systems
General Material Designation
[Electronic Resource]
Other Title Information
:Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009 : proceedings
First Statement of Responsibility
/ David Lee, Antaonia Lopes, Arnd Poetzsch-Heffter (eds.)
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin ;New York
Name of Publisher, Distributor, etc.
: Springer,
Date of Publication, Distribution, etc.
, c2009.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xii, 248 p.
Other Physical Details
: ill. ; 24 cm.
SERIES
Series Title
(Lecture notes in computer science,0302-9743
Series Title
(LNCS Sublibrary
Other Title Information
: SL 2, Programming and software engineering)
Volume Designation
; 5522)
NOTES PERTAINING TO PUBLICATION, DISTRIBUTION, ETC.
Text of Note
e
SERIES
Title
Lecture notes in computer science
Title
LNCS sublibrary.SL 2Programming and software engineering
Volume Number
5522
DEWEY DECIMAL CLASSIFICATION
Number
004
.
2422gerDNB
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
,
76
.
9
,.
D5
,
I573
,
2009
PERSONAL NAME - SECONDARY RESPONSIBILITY
Lee, David
Lopes, Antaonia
Poetzsch-Heffter, Arnd
FORTE 200� (2009
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
International Conference on Formal Methods for Open Object-Based Distributed Systems(11th :2009 :Lisbon, Portugal)
ORIGINATING SOURCE
Country
ایران
Date of Transaction
20180224
LOCATION AND CALL NUMBER
Call Number
004.2422gerDNB
ELECTRONIC LOCATION AND ACCESS
Date and Hour of Consultation and Access
9783642021374.pdf
Electronic Format Type
0
old catalog
e
BL
279232
1
a
Y
