Software systems safety /

Saved in:
Bibliographic Details
Corporate Authors: NATO Advanced Study Institute on Software Systems Safety Marktoberdorf, Germany; NATO Science for Peace and Security Programme; NATO Emerging Security Challenges Division
Group Author: Grumberg, Orna; Seidl, Helmut Computer scientist; Irlbeck, Maximilian
Published: IOS Press,
Publisher Address: Amsterdam :
Publication Dates: [2014]
Literature type: Book
Language: English
Series: NATO science for peace and security series. D: Information and communication security, vol. 36
Subjects:
Item Description: "Proceedings of the NATO Advanced Study Institute on Software Systems Safety, Marktoberdorf, Germany, 30 July-11 August 2013"--Title page verso.
"Published in cooperation with NATO Emerging Security Challenges Division."
"This publication is supported by NATO Science for Peace and Security Programme"--Cover.
Carrier Form: xi, 381 pages : illustrations ; 25 cm.
Bibliography: Includes bibliographical references and indexes.
ISBN: 9781614993841
161499384X
Index Number: QA76
CLC: TP309
Call Number: TP309/N279