MARC details
000 -LEADER |
fixed length control field |
02360cam a22005297a 4500 |
001 - CONTROL NUMBER |
control field |
15928577 |
003 - CONTROL NUMBER IDENTIFIER |
control field |
UDS |
005 - DATE AND TIME OF LATEST TRANSACTION |
control field |
20170516073051.0 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
fixed length control field |
091001s2009 gw a b 101 0 eng d |
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER |
LC control number |
2009938267 |
015 ## - NATIONAL BIBLIOGRAPHY NUMBER |
National bibliography number |
09,N21,0048 |
Source |
dnb |
016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER |
Record control number |
993987737 |
Source |
DE-101 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
9783642019173 (pbk.) |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
364201917X (pbk.) |
035 ## - SYSTEM CONTROL NUMBER |
System control number |
(OCoLC)ocn351306359 |
040 ## - CATALOGING SOURCE |
Original cataloging agency |
LC |
Language of cataloging |
ENG |
Transcribing agency |
LC |
Modifying agency |
UDS |
050 00 - LIBRARY OF CONGRESS CALL NUMBER |
Classification number |
QA76.9.F67 |
Item number |
F51 |
084 ## - OTHER CLASSIFICATION NUMBER |
Classification number |
SS 4800 |
Number source |
rvk |
111 2# - MAIN ENTRY--MEETING NAME |
Meeting name or jurisdiction name as entry element |
International School on Formal Methods for the Design of Computer, Communication, and Software Systems |
Number of part/section/meeting |
(9th : |
Date of meeting |
2009 : |
Location of meeting |
Bertinoro, Italy) |
245 10 - TITLE STATEMENT |
Title |
Formal methods for web services : |
Remainder of title |
9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009 ; advanced lectures / |
Statement of responsibility, etc. |
Marco Bernardo, Luca Padovani, Gianluigi Zavattaro (eds.). |
260 ## - PUBLICATION, DISTRIBUTION, ETC. |
Place of publication, distribution, etc. |
Berlin ; |
-- |
New York : |
Name of publisher, distributor, etc. |
Springer, |
Date of publication, distribution, etc. |
2009. |
300 ## - PHYSICAL DESCRIPTION |
Extent |
vi, 339 p. : |
Other physical details |
ill. ; |
Dimensions |
24 cm. |
490 1# - SERIES STATEMENT |
Series statement |
Lecture notes in computer science, |
International Standard Serial Number |
0302-9743 ; |
Volume/sequential designation |
5569 |
490 1# - SERIES STATEMENT |
Series statement |
Tutorial |
504 ## - BIBLIOGRAPHY, ETC. NOTE |
Bibliography, etc. note |
Includes bibliographical references and index. |
600 ## - SUBJECT ADDED ENTRY--PERSONAL NAME |
Source of heading or term |
Mathematics |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Formal methods (Computer science) |
Form subdivision |
Congresses. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Internet |
Form subdivision |
Congresses. |
650 #4 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Web Services |
General subdivision |
Formale Methode |
Form subdivision |
Kongress |
Geographic subdivision |
Bertinoro <2009> |
650 #4 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Web Services |
General subdivision |
Serviceorientierte Architektur |
-- |
Formale Methode |
Form subdivision |
Kongress |
Geographic subdivision |
Bertinoro <2009> |
650 07 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Formale Methode. |
Source of heading or term |
swd |
650 07 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Serviceorientierte Architektur. |
Source of heading or term |
swd |
650 07 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Web Services. |
Source of heading or term |
swd |
655 #7 - INDEX TERM--GENRE/FORM |
Genre/form data or focus term |
Bertinoro (2009) |
Source of term |
swd |
655 #7 - INDEX TERM--GENRE/FORM |
Genre/form data or focus term |
Kongress. |
Source of term |
swd |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Bernardo, Marco. |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Padovani, Luca. |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Zavattaro, Gianluigi. |
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
Uniform title |
Lecture notes in computer science ; |
Volume/sequential designation |
5569. |
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
Uniform title |
Lecture notes in computer science. |
Name of part/section of a work |
Tutorial. |
856 41 - ELECTRONIC LOCATION AND ACCESS |
Materials specified |
Table of contents |
Uniform Resource Identifier |
http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=017583423&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
856 41 - ELECTRONIC LOCATION AND ACCESS |
Uniform Resource Identifier |
http://d-nb.info/993987737/04 |
Materials specified |
Inhaltsverzeichnis |
906 ## - LOCAL DATA ELEMENT F, LDF (RLIN) |
a |
7 |
b |
cbc |
c |
copycat |
d |
2 |
e |
ncip |
f |
20 |
g |
y-gencatlg |
942 ## - ADDED ENTRY ELEMENTS (UDS ILS) |
Source of classification or shelving scheme |
Library of Congress Classification |
UDS Library item type |
Books |