Formal methods for open object-based distributed systems (Record no. 32167)

000 -LEADER
fixed length control field 00753nam a2200229 a 4500
001 - CONTROL NUMBER
control field 32167
003 - CONTROL NUMBER IDENTIFIER
control field BD-DhUET
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 050617s2005 gw a b 101 0 eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 3540261818
040 ## - CATALOGING SOURCE
Original cataloging agency NNC
Transcribing agency NNC
Modifying agency BD-DhUET
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 005.758
Item number INT/2005
111 2# - MAIN ENTRY--MEETING NAME
Meeting name or jurisdiction name as entry element International Conference on Formal Methods for Open Object-Based Distributed Systems
Number of part/section/meeting 7th.
Date of meeting 15/6/2005
Location of meeting Athens, Greece
245 00 - TITLE STATEMENT
Title Formal methods for open object-based distributed systems
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc. New York
Name of publisher, distributor, etc. Springer
Date of publication, distribution, etc. 2005
300 ## - PHYSICAL DESCRIPTION
Extent x,321p.
Other physical details ill.
Dimensions 24 cm.
490 1# - SERIES STATEMENT
Series statement Lecture notes in computer science
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes bibliographies
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Distributed data bases
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Steffen, Martin
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Zavattaro, Gianluigi
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type Proceedings
Holdings
Lost status Withdrawn status Not for loan Shelving location Koha date last seen Sublocation or collection (holding branch) Location (home branch) Damaged status Koha normalized classification for sorting Koha full call number Price effective from Piece designation (barcode) Koha item type Source of classification or shelving scheme Copy number Date acquired
   Reference section2015-08-12Central Library, BUETCentral Library, BUET 005_758000000000000_INT_2005005.758/INT/20052015-08-12104939Proceedings 12015-08-12
   Reference section2015-08-12Central Library, BUETCentral Library, BUET 005_758000000000000_INT_2005005.758/INT/20052015-08-12104940Proceedings 22015-08-12