Logics and languages for reliability and security. : NATO Advanced Study Institute on logics and languages for reliability and security : 2009 summer school on formal logical methods for system security and correctness : 30th international summer school : Marktoberdorf summer school : Aug 2009, Marktoberdorf, Germany. (NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 25)

Logics and languages for reliability and security. : NATO Advanced Study Institute on logics and languages for reliability and security : 2009 summer school on formal logical methods for system security and correctness : 30th international summer school : Marktoberdorf summer school : Aug 2009, Marktoberdorf, Germany.

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

Call No. (NDL): M17-11-3494
Bibliographic ID of National Diet Library: 000011234626

Material type: 図書

Author: Esparza, Javier.ほか

Publisher: IOS Press

Publication date: c2010.

Material Format: Paper

Capacity, size, etc.: ix, 325 p. : ill. ; 25 cm.

NDC: -

View All

Notes on use

Note (General)：: Papers.

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: 9781607500995 (print)
9781607501008 (online)
ISSN (series): 1874-6268
Title: Logics and languages for reliability and security. : NATO Advanced Study Institute on logics and languages for reliability and security : 2009 summer school on formal logical methods for system security and correctness : 30th international summer school : Marktoberdorf summer school : Aug 2009, Marktoberdorf, Germany.
Series Title: NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 25
Title Heading: NATO science for peace and security series. Sub-series D, Information and communication security ; v. 25.
Author Heading: Esparza, Javier.
Spanfelner, Bernd.
Grumberg, Orna.
NATO Advanced Study Institute on Logics and Languages for Reliability and Security (2009 : Marktoberdorf, Germany)
Publication, Distribution, etc.: Amsterdam : IOS Press
Publication Date: c2010.
Publication Date (W3CDTF): 2010
Extent: ix, 325 p. : ill. ; 25 cm.
Place of Publication (Country Code): NL
Text Language Code: eng
Subject Heading: Computer systems -- Reliability -- Congresses.
Computer security -- Congresses.
Computer logic -- Congresses.
LCC: QA76.76
DDC: 004
NDLC: M17
Note (General): Papers.
Note (Bibliography): Includes bibiliographical reference and indexes.
Holding library: 国立国会図書館
Call No.: M17-11-3494
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000011234626
http://id.ndl.go.jp/bib/000011234626
OCLC No.: 567148833
https://www.worldcat.org/oclc/567148833
Bibliographic Record Category (NDL): 215