//]]>

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

000 -LEADER
fixed length control field 01457cam a22003017a 4500
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20200111102525.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 050429s2005 gw a b 101 0 eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783540261810
International Standard Book Number 3540261818 (pbk.)
041 ## - Language
Language code of text/sound track or separate title eng
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Edition number 22
Classification number 004.36
Item number I612
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 2005 :
Location of meeting Athens, Greece)
9 (RLIN) 29837
245 10 - IMMEDIATE SOURCE OF ACQUISITION NOTE
Title Formal methods for open object-based distributed systems :
Remainder of title 7th IFIP WG 6.1 international conference, FMOODS 2005, Athens, Greece, June 15-17, 2005 : proceedings /
Statement of responsibility, etc Martin Steffen, Gianluigi Zavattaro (eds.).
246 30 - VARYING FORM OF TITLE
Title proper/short title FMOODS 2005
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc Berlin ;
Name of publisher, distributor, etc Springer,
Date of publication, distribution, etc 2005.
300 ## - PHYSICAL DESCRIPTION
Extent x, 321 p. :
Other physical details ill. ;
Dimensions 24 cm.
440 #0 - SERIES STATEMENT/ADDED ENTRY--TITLE
9 (RLIN) 5927
Title Lecture notes in computer science ;
International Standard Serial Number 0302-9743 ;
Volume number/sequential designation 3535
500 ## - GENERAL NOTE
General note "7th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems"--Pref.
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes bibliographical references and index.
530 ## - ADDITIONAL PHYSICAL FORM AVAILABLE NOTE
Additional physical form available note Also issued online.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Electronic data processing
General subdivision Distributed processing.
9 (RLIN) 564
Topical term or geographic name as entry element Object-oriented programming (Computer science)
9 (RLIN) 2305
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Steffen, Martin.
9 (RLIN) 13758
Relator term editor
Personal name Zavattaro, Gianluigi.
9 (RLIN) 29839
Relator term editor
710 2# - ADDED ENTRY--CORPORATE NAME
Corporate name or jurisdiction name as entry element IFIP Working Group 6.1.
9 (RLIN) 29840
856 41 - ELECTRONIC LOCATION AND ACCESS
Materials specified Table of contents only
Uniform Resource Identifier http://www.loc.gov/catdir/enhancements/fy1401/2005926702-t.html
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme
Item type Book
Copies
Price effective from Permanent location Date last seen Not for loan Date acquired Source of classification or shelving scheme Koha item type Barcode Damaged status Lost status Shelving location Withdrawn status Current location Full call number
2014-09-24AUM Main Library2014-09-24 2014-09-24 BookAUM-003614  English Collections Hall AUM Main Library004.36 I612
2014-09-24AUM Main Library2014-09-24 2014-09-24 BookAUM-003615  English Collections Hall AUM Main Library004.36 I612
2014-09-24AUM Main Library2014-09-24 2014-09-24 BookAUM-003616  English Collections Hall AUM Main Library004.36 I612

Languages: 
English |
العربية