Software systems safety : lectures of the NATO Advanced Study Institute "summer school Marktoberdorf 2013--software systems safety" : ASI "Marktoberdorf" : Jul 2013, Marktoberdorf, Germany. (NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 36)

Software systems safety : lectures of the NATO Advanced Study Institute "summer school Marktoberdorf 2013--software systems safety" : ASI "Marktoberdorf" : Jul 2013, Marktoberdorf, Germany.

(NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 36)

Call No. (NDL): M17-15-1430
Bibliographic ID of National Diet Library: 026187088

Material type: 図書

Author: NATO Advanced Study Institute on Software Systems Safety (2013 : Marktoberdorf, Germany)ほか

Publisher: IOS Press

Publication date: [2014]

Material Format: Paper

Capacity, size, etc.: xi, 381 pages ; 25 cm.

NDC: -

View All

Notes on use

Note (General)：: Papers."Published in cooperation with NATO Emerging Security Challenges Division".

Other physical details：: illustrations

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type: 図書
ISBN: 9781614993841 print
161499384X print
ISBN (error code): 9781614993858 online
ISSN (series): 1874-6268
Title: Software systems safety : lectures of the NATO Advanced Study Institute "summer school Marktoberdorf 2013--software systems safety" : ASI "Marktoberdorf" : Jul 2013, Marktoberdorf, Germany.
Series Title: NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 36
Title Heading: NATO science for peace and security series. Sub-series D, Information and communication security ; v. 36.
Author Heading: issuing body. ： NATO Advanced Study Institute on Software Systems Safety (2013 : Marktoberdorf, Germany)
Grumberg, Orna.
Seidl, Helmut (Computer scientist)
Irlbeck, Maximilian.
Publication, Distribution, etc.: Amsterdam : IOS Press (出版)
Berlin : IOS Press (出版)
Tokyo : IOS Press (出版)
Washington, DC : IOS Press (出版)
Publication Date (W3CDTF): 2014
Extent: xi, 381 pages
Other physical details: illustrations
Size: 25 cm.
Place of Publication (Country Code): NL
Text Language Code: eng
Content Type: txt : text
Media Type: n : unmediated
Carrier Type: nc : volume
Subject Heading: Systems software--Safety measures--Congresses.
Computer security--Congresses.
Software engineering--Congresses.
LCC: QA76.76.S95
DDC: 005.1
NDLC: M17
Target Audience: 一般
Note (General): Papers.
"Published in cooperation with NATO Emerging Security Challenges Division".
Note (Bibliography): Includes bibliographical references and indexes.
Holding library: 国立国会図書館
Call No.: M17-15-1430
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 026187088
http://id.ndl.go.jp/bib/026187088
LC Control Number: 2014936390
https://lccn.loc.gov/2014936390
OCLC No.: 881030978
https://www.worldcat.org/oclc/881030978
Cataloging Rule: RDA
Bibliographic Record Category (NDL): 215