Search UDS Library Collections


Formal methods for web services : (Record no. 18563)

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
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Home library Current library Shelving location Date acquired Total Checkouts Full call number Barcode Date last seen Price effective from Koha item type
    Library of Congress Classification     CKT-UTAS Library CKT-UTAS Library General Stacks 16/05/2017   QA76.9 F51 NAV-51705002352 16/05/2017 16/05/2017 Books