INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
0306470039 (electronic bk.)
NATIONAL BIBLIOGRAPHY NUMBER
Country Code
IR
Number
EN-52919
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 networked and distributed systems
General Material Designation
[Book]
Other Title Information
:FORTE 2001 : IFIP TC6 WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea
First Statement of Responsibility
/ edited by Myungchul Kim ... [et al.]
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
New York
Name of Publisher, Distributor, etc.
: Kluwer Academic Publishers,
Date of Publication, Distribution, etc.
, c2002.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xii, 458 p. , ill. , 24 cm.
NOTES PERTAINING TO PUBLICATION, DISTRIBUTION, ETC.
Text of Note
Electronic
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and index.
TOPICAL NAME USED AS SUBJECT
Electronic data processing , Distributed processing , Congresses
Formal methods (Computer science) , Congresses
Electronic books. , local
LIBRARY OF CONGRESS CLASSIFICATION
Class number
E-BOOK
PERSONAL NAME - PRIMARY RESPONSIBILITY
FORTE 2001 (2001 : Cheju-do, Korea)
PERSONAL NAME - SECONDARY RESPONSIBILITY
Kim, Myungchul
NetLibrary, Inc
ORIGINATING SOURCE
Country
ایران
ELECTRONIC LOCATION AND ACCESS
Host name
0306470039.pdf
Access number
عادی
Compression information
عادی
Date and Hour of Consultation and Access
0306470039.pdf
Electronic Format Type
متن
old catalog
e
BL
1
a
Y
