Welcome to the Kids' Library!
Search for books, movies, music, magazines, and more.
Your session will expire automatically in
0
seconds.
Continue session
End session now
Back to Search Results
SearchType
Keyword
Author
Title
Subject
Call Number
Search
Search Scope
PSU Library Consortium
Pittsburg State University
Academic Libraries
Public Libraries
Pittsburg Area
Unified School District
Leonard H. Axe Library
Career Resource Center Library
Eureka Public Library
Fort Scott Community College Library
George Nettels Elementary School Library
Kansas Technology Center Library
Lakeside Elementary School Library
Meadowlark Elementary School Library
Parsons Public Library
Pittsburg Community Middle School Library
Pittsburg High School Library
Pittsburg Public Library
Sedan Public Library
Westside Elementary School Library
Childrens Collection
Available items only
Previous Record
Next Record
Conference
NATO Advanced Study Institute on Engineering Dependable Software Systems (2012 : Marktoberdorf, Germany)
Title
Engineering dependable software systems / edited by Manfred Broy, Doron Peled and Georg Kalus.
Publication Info.
Amsterdam ; Washington, D. C. : IOS Press, [2013]
2013
Connect to
Available to Pittsburg State University patrons only.
Copies
Location
Call No.
OPAC Message
Status
Axe ProQuest E-Book
Electronic Book
---
Available
Description
1 online resource (376 pages) : illustrations.
text rdacontent
computer rdamedia
online resource rdacarrier
Series
NATO science for peace and security series. Sub-series D, Information and communication security ; volume 34
NATO science for peace and security series. Sub-series D, Information and communication security ; v. 34.
Note
"Proceedings of the NATO Advanced Study Institute on Engineering Dependable Software Systems, Marktoberdorf, Germany, 31 July - 12 August 2012"--Title page verso.
"Published in cooperation with NATO Emerging Security Challenges Division."
Bibliography
Includes bibliographical references and indexes.
Note
Description based on print version record.
Subject
Computer software -- Verification -- Congresses.
Computer systems -- Verification -- Congresses.
Genre/Form
Electronic books.
Added Author
Broy, M., 1949-
Kalus, Georg.
Peled, Doron, 1962-
Other Form:
Print version: NATO Advanced Study Institute on Engineering Dependable Software Systems (2012 : Marktoberdorf, Germany) Engineering dependable software systems. Amsterdam ; Washington, D. C. : IOS Press, [2013] ix, 365 pages : illustrations NATO science for peace and security series. Sub-series D, Information and communication security ; v. 34. 9781614992066
ISBN
9781614992066
9781614992073 (electronic bk.)
Available items only
