MARC details
| 000 -LEADER |
|---|
| fixed length control field |
02290cam a22003495a 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
vtls000000347 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
VRT |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20250102224212.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
080915s2005 gw a | 101 0 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3540256970 |
| 039 #9 - LEVEL OF BIBLIOGRAPHIC CONTROL AND CODING DETAIL [OBSOLETE] |
|---|
| Level of rules in bibliographic description |
201402040044 |
| Level of effort used to assign nonsubject heading access points |
VLOAD |
| Level of effort used to assign subject headings |
201010091156 |
| Level of effort used to assign classification |
malmash |
| Level of effort used to assign subject headings |
200809151355 |
| Level of effort used to assign classification |
staff |
| Level of effort used to assign subject headings |
200809151354 |
| Level of effort used to assign classification |
staff |
| -- |
200809151351 |
| -- |
staff |
| 050 ## - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA76 |
| Item number |
.L43I575 2005 |
| 082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
005.13/1 |
| Edition information |
22 |
| 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 |
(5th : |
| Date of meeting or treaty signing |
2005 : |
| Location of meeting |
Bertinoro, Italy) |
| 9 (RLIN) |
37585 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Formal methods for mobile computing : |
| Remainder of title |
5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005 ; advanced lectures / |
| Statement of responsibility, etc. |
Marco Bernardo, Alessandro Bogliolo (eds.). |
| 246 30 - VARYING FORM OF TITLE |
|---|
| Title proper/short title |
5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems : |
| Remainder of title |
SFM-Moby 2005. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. |
|---|
| Place of publication, distribution, etc. |
Berlin : |
| Name of publisher, distributor, etc. |
Springer, |
| Date of publication, distribution, etc. |
c2005. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
vi, 270 p. : |
| Other physical details |
ill. ; |
| Dimensions |
24 cm. |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Lecture notes in computer science ; |
| Volume/sequential designation |
3465 |
| Series statement |
Tutorial. |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc. note |
Includes bibliographical references and index. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
This book presents 8 tutorial survey papers by leading researchers who lectured at the 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2005, held in Bertinoro, Italy in April 2005. SFM 2005 was devoted to formal methods and tools for the design of mobile systems and mobile communication infrastructures. The 8 lectures are organized into topical sections on models and languages, scalability and performance, dynamic power management, and middleware support. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Formal methods (Computer science) |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
37586 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Mobile computing |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
31271 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Computer software |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
37587 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
System design |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
37588 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Bernardo, Marco. |
| 9 (RLIN) |
37589 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Bogliolo, Alessandro. |
| 9 (RLIN) |
37590 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Lecture notes in computer science ; |
| Volume/sequential designation |
3465. |
| 9 (RLIN) |
767 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Lecture notes in computer science ; |
| Name of part/section of a work |
Tutorial. |
| 9 (RLIN) |
37591 |
| 856 42 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="http://www.loc.gov/catdir/enhancements/fy0663/2005924063-d.html">http://www.loc.gov/catdir/enhancements/fy0663/2005924063-d.html</a> |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) |
|---|
| Source of classification or shelving scheme |
Library of Congress Classification |
| Suppress in OPAC |
No |
| Koha item type |
Books |
