MARC details
| 000 -LEADER |
|---|
| fixed length control field |
06438cam a2200985 i 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
ocn889715730 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20250703163457.0 |
| 006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS |
|---|
| fixed length control field |
m o d |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
|---|
| fixed length control field |
cr ||||||||||| |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
140901s2014 sz a o 101 0 eng d |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
NLGGC |
| Language of cataloging |
eng |
| Description conventions |
rda |
| -- |
pn |
| Transcribing agency |
NLGGC |
| Modifying agency |
OCLCO |
| -- |
GW5XE |
| -- |
YDXCP |
| -- |
UPM |
| -- |
COO |
| -- |
OCLCF |
| -- |
OCLCO |
| -- |
OHI |
| -- |
OCLCO |
| -- |
OCL |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
STF |
| -- |
VT2 |
| -- |
IOG |
| -- |
ESU |
| -- |
OCLCQ |
| -- |
NJR |
| -- |
BUF |
| -- |
KIJ |
| -- |
CEF |
| -- |
DEHBZ |
| -- |
OCLCQ |
| -- |
U3W |
| -- |
REB |
| -- |
AU@ |
| -- |
WYU |
| -- |
EBLCP |
| -- |
YOU |
| -- |
OCLCQ |
| -- |
DCT |
| -- |
ERF |
| -- |
OCLCQ |
| -- |
WURST |
| -- |
SFB |
| -- |
OCLCQ |
| -- |
UKAHL |
| -- |
SNK |
| -- |
COM |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCLCL |
| -- |
OCLCQ |
| 019 ## - |
|---|
| -- |
964862992 |
| -- |
1005830832 |
| -- |
1026428517 |
| -- |
1027549417 |
| -- |
1048144009 |
| -- |
1066457689 |
| -- |
1066675283 |
| -- |
1081222524 |
| -- |
1086509016 |
| -- |
1111060881 |
| -- |
1112563136 |
| -- |
1112838188 |
| -- |
1204036936 |
| -- |
1229054061 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783319101811 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3319101811 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
9783319101804 |
| Qualifying information |
(print) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
3319101803 |
| Qualifying information |
(print) |
| 024 7# - OTHER STANDARD IDENTIFIER |
|---|
| Standard number or code |
10.1007/978-3-319-10181-1 |
| Source of number or code |
doi |
| 029 0# - (OCLC) |
|---|
| OCLC library identifier |
NLGGC |
| System control number |
380681080 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000058927832 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000068651024 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NZ1 |
| System control number |
15741737 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
DKDLA |
| System control number |
820120-katalog:999922544305765 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)889715730 |
| Canceled/invalid control number |
(OCoLC)964862992 |
| -- |
(OCoLC)1005830832 |
| -- |
(OCoLC)1026428517 |
| -- |
(OCoLC)1027549417 |
| -- |
(OCoLC)1048144009 |
| -- |
(OCoLC)1066457689 |
| -- |
(OCoLC)1066675283 |
| -- |
(OCoLC)1081222524 |
| -- |
(OCoLC)1086509016 |
| -- |
(OCoLC)1111060881 |
| -- |
(OCoLC)1112563136 |
| -- |
(OCoLC)1112838188 |
| -- |
(OCoLC)1204036936 |
| -- |
(OCoLC)1229054061 |
| 037 ## - SOURCE OF ACQUISITION |
|---|
| Source of stock number/acquisition |
Springer |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA76.9.F67 |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
COM051230 |
| Source |
bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UMZ |
| Source |
bicssc |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
004.01/51 |
| Edition number |
23 |
| 049 ## - LOCAL HOLDINGS (OCLC) |
|---|
| Holding library |
MAIN |
| 111 2# - MAIN ENTRY--MEETING NAME |
|---|
| Meeting name or jurisdiction name as entry element |
International Conference on Integrated Formal Methods |
| Number of part/section/meeting |
(11th : |
| Date of meeting |
2014 : |
| Location of meeting |
Bertinoro, Italy) |
| 9 (RLIN) |
52291 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Integrated formal methods : |
| Remainder of title |
11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014 : proceedings / |
| Statement of responsibility, etc. |
Elvira Albert, Emil Sekerinski (Eds.). |
| 246 3# - VARYING FORM OF TITLE |
|---|
| Title proper/short title |
IFM 2014 |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE |
|---|
| Place of production, publication, distribution, manufacture |
Cham : |
| Name of producer, publisher, distributor, manufacturer |
Springer, |
| Date of production, publication, distribution, manufacture, or copyright notice |
[2014] |
| 264 #4 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE |
|---|
| Date of production, publication, distribution, manufacture, or copyright notice |
©2014 |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource : |
| Other physical details |
illustrations |
| 336 ## - CONTENT TYPE |
|---|
| Content type term |
text |
| Content type code |
txt |
| Source |
rdacontent |
| 337 ## - MEDIA TYPE |
|---|
| Media type term |
computer |
| Media type code |
c |
| Source |
rdamedia |
| 338 ## - CARRIER TYPE |
|---|
| Carrier type term |
online resource |
| Carrier type code |
cr |
| Source |
rdacarrier |
| 347 ## - DIGITAL FILE CHARACTERISTICS |
|---|
| File type |
text file |
| 347 ## - DIGITAL FILE CHARACTERISTICS |
|---|
| Encoding format |
PDF |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Lecture notes in computer science ; |
| Volume/sequential designation |
8739 |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
LNCS sublibrary. SL 2, Programming and software engineering |
| 500 ## - GENERAL NOTE |
|---|
| General note |
International conference proceedings. |
| 500 ## - GENERAL NOTE |
|---|
| General note |
Includes author index. |
| 588 0# - SOURCE OF DESCRIPTION NOTE |
|---|
| Source of description note |
Online resource; title from PDF title page (SpringerLink, viewed September 4, 2014). |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
Shape and Content: A Database-Theoretic Perspective on the Analysis of Data Structures -- How to Break the Bank: Semantics of Capability Policies -- Model-Checking Circus State-Rich Specifications -- An Interactive Verification Tool Meets an IDE -- An Analysis Pathway for the Quantitative Evaluation of Public Transport Systems -- Modeling UML Template Classes with FoCaLiZe -- Integrating Event-B Modelling and Discrete-Event Simulation to Analyse Resilience of Data Stores in the Cloud -- Applying an Integrated Modelling Process to Run-time Management of Many-Core Systems -- Verifying Behavioral UML Systems via CEGAR -- Formal Refinement in SysML -- Verifying Modal Workflow Specifications Using Constraint Solving.-Proofs and Refutations in Invariant-Based Programming -- Automated Theorem Prover Assisted Program Calculations -- Managing LTL Properties in Event-B Refinement -- Formal Security Analysis of the MaCAN Protocol -- A Probabilistic Framework for Security Scenarios with Dependent Actions -- A Hybrid Analysis for Security Protocols with State -- Towards a Formal Semantics-Based Technique for Interprocedural Slicing -- Integrating Software and Hardware Verification -- Code Generation for Event-B -- Verifying Linearizability on TSO Architectures -- A Compositional Proof Method for Linearizability Applied to a Wait-Free Multiset -- A Separation Principle for Embedded System Interfacing. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
This book constitutes the refereed proceedings of the 11th International Conference on Integrated Formal Methods, IFM 2014, held in Bertinoro, Italy, in September 2014. The 21 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 43 submissions. The papers have been organized in the following topical sections: tool integration; model verification; program development; security analysis; analysis and transformation; and concurrency and control. |
| 546 ## - LANGUAGE NOTE |
|---|
| Language note |
English. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Formal methods (Computer science) |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
15679 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
System design |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
14606 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Méthodes formelles (Informatique) |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
18838 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Conception de systèmes |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
38793 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Formal methods (Computer science) |
| Source of heading or term |
fast |
| 9 (RLIN) |
15635 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
System design |
| Source of heading or term |
fast |
| 9 (RLIN) |
14611 |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
computerwetenschappen |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
computer sciences |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
programmeertalen |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
programming languages |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
wiskunde |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
mathematics |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
logica |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
logic |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
software engineering |
| 653 10 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
Information and Communication Technology (General) |
| 653 10 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
Informatie- en communicatietechnologie (algemeen) |
| 655 #2 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Congress |
| 9 (RLIN) |
11670 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
proceedings (reports) |
| Source of term |
aat |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Conference papers and proceedings |
| Source of term |
fast |
| 9 (RLIN) |
6065 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Conference papers and proceedings. |
| Source of term |
lcgft |
| 9 (RLIN) |
6065 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Actes de congrès. |
| Source of term |
rvmgf |
| 9 (RLIN) |
609890 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Albert, Elvira, |
| Relator term |
editor. |
| 9 (RLIN) |
48611 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Sekerinski, E. |
| Fuller form of name |
(Emil), |
| Dates associated with a name |
1963- |
| Relator term |
editor. |
| -- |
https://id.oclc.org/worldcat/entity/E39PBJymGgRWM3cyxDT4jH74MP |
| 9 (RLIN) |
29416 |
| 758 ## - |
|---|
| -- |
has work: |
| -- |
Integrated formal methods (Text) |
| -- |
https://id.oclc.org/worldcat/entity/E39PCGD8bqJ7QGFDXKQWVHV7VC |
| -- |
https://id.oclc.org/worldcat/ontology/hasWork |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Relationship information |
Printed edition: |
| International Standard Book Number |
9783319101804 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Lecture notes in computer science ; |
| Volume number/sequential designation |
8739. |
| International Standard Serial Number |
1611-3349 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
LNCS sublibrary. |
| Number of part/section of a work |
SL 2, |
| Name of part/section of a work |
Programming and software engineering. |
| 9 (RLIN) |
20654 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="https://link.springer.com/10.1007/978-3-319-10181-1">https://link.springer.com/10.1007/978-3-319-10181-1</a> |
| 938 ## - |
|---|
| -- |
Askews and Holts Library Services |
| -- |
ASKH |
| -- |
AH29629750 |
| 938 ## - |
|---|
| -- |
ProQuest Ebook Central |
| -- |
EBLB |
| -- |
EBL6281390 |
| 938 ## - |
|---|
| -- |
ProQuest Ebook Central |
| -- |
EBLB |
| -- |
EBL5586343 |
| 938 ## - |
|---|
| -- |
YBP Library Services |
| -- |
YANK |
| -- |
12058573 |
| 938 ## - |
|---|
| -- |
YBP Library Services |
| -- |
YANK |
| -- |
11987604 |
| 994 ## - |
|---|
| -- |
92 |
| -- |
ATIST |