MARC details
000 -LEADER |
fixed length control field |
05980cam a2200757Ia 4500 |
001 - CONTROL NUMBER |
control field |
ocn861257467 |
003 - CONTROL NUMBER IDENTIFIER |
control field |
OCoLC |
005 - DATE AND TIME OF LATEST TRANSACTION |
control field |
20220711211653.0 |
006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS--GENERAL INFORMATION |
fixed length control field |
m o d |
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
fixed length control field |
cr cnu---unuuu |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
fixed length control field |
131022s2013 ne a ob 101 0 eng d |
040 ## - CATALOGING SOURCE |
Original cataloging agency |
YDXCP |
Language of cataloging |
eng |
Description conventions |
pn |
Transcribing agency |
YDXCP |
Modifying agency |
UKMGB |
-- |
IOSPR |
-- |
E7B |
-- |
OCLCA |
-- |
N$T |
-- |
OCLCO |
-- |
OCLCQ |
-- |
OCLCF |
-- |
OCLCQ |
-- |
OCLCO |
-- |
OCL |
-- |
OCLCO |
-- |
OCLCQ |
-- |
AGLDB |
-- |
OCLCQ |
-- |
VTS |
-- |
VT2 |
-- |
OCLCQ |
-- |
WYU |
-- |
STF |
-- |
M8D |
-- |
HS0 |
-- |
OCLCO |
016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER |
Record control number |
016505928 |
Source |
Uk |
019 ## - |
-- |
1227643605 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
9781614992073 |
Qualifying information |
(electronic bk.) |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
161499207X |
Qualifying information |
(electronic bk.) |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
Cancelled/invalid ISBN |
9781614992066 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
Cancelled/invalid ISBN |
1614992061 |
029 1# - (OCLC) |
OCLC library identifier |
AU@ |
System control number |
000052305153 |
029 1# - (OCLC) |
OCLC library identifier |
CHNEW |
System control number |
000642231 |
029 1# - (OCLC) |
OCLC library identifier |
DEBBG |
System control number |
BV043076275 |
029 1# - (OCLC) |
OCLC library identifier |
DEBSZ |
System control number |
429939485 |
029 1# - (OCLC) |
OCLC library identifier |
NZ1 |
System control number |
15590179 |
035 ## - SYSTEM CONTROL NUMBER |
System control number |
(OCoLC)861257467 |
Canceled/invalid control number |
(OCoLC)1227643605 |
050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
Classification number |
QA76.76.V47 |
Item number |
N38 2012 |
072 #7 - SUBJECT CATEGORY CODE |
Subject category code |
COM |
Subject category code subdivision |
051230 |
Source |
bisacsh |
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
Classification number |
005.1/4 |
Edition number |
23 |
049 ## - LOCAL HOLDINGS (OCLC) |
Holding library |
MAIN |
111 2# - MAIN ENTRY--MEETING NAME |
Meeting name or jurisdiction name as entry element |
NATO Advanced Study Institute on Engineering Dependable Software Systems |
Date of meeting |
(2012 : |
Location of meeting |
Marktoberdorf, Germany) |
9 (RLIN) |
362783 |
245 10 - TITLE STATEMENT |
Title |
Engineering dependable software systems / |
Statement of responsibility, etc |
edited by Manfred Broy, Doron Peled and Georg Kalus. |
264 #1 - |
-- |
Amsterdam : |
-- |
IOS Press, |
-- |
[2013] |
300 ## - PHYSICAL DESCRIPTION |
Extent |
1 online resource (ix, 365 pages .). |
336 ## - |
-- |
text |
-- |
txt |
-- |
rdacontent |
337 ## - |
-- |
computer |
-- |
c |
-- |
rdamedia |
338 ## - |
-- |
online resource |
-- |
cr |
-- |
rdacarrier |
490 1# - SERIES STATEMENT |
Series statement |
NATO science for peace and security series. Sub-series D, Information and communication security ; |
Volume number/sequential designation |
vol. 34 |
500 ## - GENERAL NOTE |
General note |
"Proceedings of the NATO Advanced Study Institute on Engineering Dependable Software Systems, Marktoberdorf, Germany, 31 July - 12 August 2012"--Title page verso. |
500 ## - GENERAL NOTE |
General note |
"Published in cooperation with NATO Emerging Security Challenges Division." |
504 ## - BIBLIOGRAPHY, ETC. NOTE |
Bibliography, etc |
Includes bibliographical references and indexes. |
588 0# - |
-- |
Print version record. |
505 00 - FORMATTED CONTENTS NOTE |
Title |
A logical approach to systems engineering artifacts and traceability: from requirements to functional and architectural views / |
Statement of responsibility |
Manfred Broy -- |
Title |
Mastering system analysis and design through abstraction and refinement / |
Statement of responsibility |
Michael Butler -- |
Title |
Data abstraction in VCC / |
Statement of responsibility |
Ernie Cohen -- |
Title |
Families of software systems: a model checking approach / |
Statement of responsibility |
Stefania Gnesi -- |
Title |
A tutorial on runtime verification / |
Statement of responsibility |
Yliès Falcone, Klaus Havelund and Giles Reger -- |
Title |
Model checking meets probability: a gentle introduction / |
Statement of responsibility |
Joost-Pieter Katoen -- |
Title |
Risk-driven engineering of requirements for dependable systems / |
Statement of responsibility |
Axel van Lamsweerde -- |
Title |
Model-based verification, optimization, synthesis and performance evaluation of real-time systems / |
Statement of responsibility |
Uli Fahrenberg, Kim G. Larsen, Axel Legay and Claus Thrane -- |
Title |
Model-driven engineering and model transformation: for fun and profit / |
Statement of responsibility |
Richard F. Paige and Dimitrios S. Kolovos -- |
Title |
Symbolic execution and software testing / |
Statement of responsibility |
Corina S. Păsăreanu -- |
Title |
Model checking basics / |
Statement of responsibility |
Doron Peled -- |
Title |
Subject index -- |
-- |
Author index. |
520 ## - SUMMARY, ETC. |
Summary, etc |
"Because almost all technical systems are more or less interfaced with software these days, attacks against computer systems can cause considerable economic and physical damage. For this reason, understanding the dependability of such systems, as well as the improvement of cyber security and its development process, are amongst the most challenging and crucial issues in current computer science research. This book contains the lectures from the NATO Advanced STudy INstitute (ASI) Summer School entitled Engineering Dependable Software Systems, held in Marktoberdorf, Germany in July and August 2012. This tow week course for young computer scientists and mathematicians working in the field of formal software and systems was designed to give an in-depth presentation of state-of-the-art topics in the field, as well as promoting international contacts and collaboration and the teaming up of leading researchers and young scientists. The 12 lectures delivered at the school and presented here cover subjects including: model-based testing, formal modeling and verification, decudtively verified software, model checking, performance anlysis, integrating risk analysis, embedded systems and model checking, among others. The book will be of interest to all those whose work involves the development of large-scale, reliable and secure software systems."-- |
-- |
Back cover. |
546 ## - LANGUAGE NOTE |
Language note |
English. |
590 ## - LOCAL NOTE (RLIN) |
Local note |
eBooks on EBSCOhost |
Provenance (VM) [OBSOLETE] |
EBSCO eBook Subscription Academic Collection - Worldwide |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Computer software |
General subdivision |
Verification |
Form subdivision |
Congresses. |
9 (RLIN) |
162050 |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Computer systems |
General subdivision |
Verification |
Form subdivision |
Congresses. |
9 (RLIN) |
362784 |
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Logiciels |
General subdivision |
Vérification |
Form subdivision |
Congrès. |
9 (RLIN) |
878963 |
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Systèmes informatiques |
General subdivision |
Vérification |
Form subdivision |
Congrès. |
9 (RLIN) |
972038 |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
COMPUTERS |
General subdivision |
Software Development & Engineering |
-- |
General. |
Source of heading or term |
bisacsh |
9 (RLIN) |
871600 |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Computer software |
General subdivision |
Verification. |
Source of heading or term |
fast |
-- |
(OCoLC)fst00872604 |
9 (RLIN) |
190249 |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Computer systems |
General subdivision |
Verification. |
Source of heading or term |
fast |
-- |
(OCoLC)fst01750859 |
9 (RLIN) |
964948 |
655 #0 - INDEX TERM--GENRE/FORM |
Genre/form data or focus term |
Electronic books. |
655 #4 - INDEX TERM--GENRE/FORM |
Genre/form data or focus term |
Electronic books. |
655 #7 - INDEX TERM--GENRE/FORM |
Genre/form data or focus term |
Conference papers and proceedings. |
Source of term |
fast |
-- |
(OCoLC)fst01423772 |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Broy, M., |
Dates associated with a name |
1949- |
Relator term |
editor. |
9 (RLIN) |
972039 |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Peled, Doron A., |
Dates associated with a name |
1962- |
Relator term |
editor. |
9 (RLIN) |
972040 |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Kalus, Georg, |
Relator term |
editor. |
9 (RLIN) |
362786 |
710 2# - ADDED ENTRY--CORPORATE NAME |
Corporate name or jurisdiction name as entry element |
NATO Emerging Security Challenges Division. |
776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
Display text |
Print version: |
Main entry heading |
NATO Advanced Study Institute on Engineering Dependable Software Systems (2012 : Marktoberdorf, Germany). |
Title |
Engineering dependable software systems |
International Standard Book Number |
9781614992066 |
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
Uniform title |
NATO science for peace and security series. |
Number of part/section of a work |
Sub-series D, |
Name of part/section of a work |
Information and communication security ; |
Volume number/sequential designation |
v. 34. |
9 (RLIN) |
195328 |
856 40 - ELECTRONIC LOCATION AND ACCESS |
Uniform Resource Identifier |
<a href="https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=651776">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=651776</a> |
938 ## - |
-- |
ebrary |
-- |
EBRY |
-- |
ebr10785476 |
938 ## - |
-- |
EBSCOhost |
-- |
EBSC |
-- |
651776 |
938 ## - |
-- |
YBP Library Services |
-- |
YANK |
-- |
11238851 |
994 ## - |
-- |
92 |
-- |
INOPJ |