Coverart for item
The Resource Software and systems safety : specification and verification, edited by Manfred Broy, Christian Leuxner and Tony Hoare, (electronic resource)
Label
Software and systems safety : specification and verification
Title
Software and systems safety
Title remainder
specification and verification
Statement of responsibility
edited by Manfred Broy, Christian Leuxner and Tony Hoare
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
MiAaPQ
Illustrations
illustrations
Index
index present
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
Series statement
NATO science for peace and security series. Sub-series D, Information and communication security,
Series volume
v. 30
Software and systems safety : specification and verification, edited by Manfred Broy, Christian Leuxner and Tony Hoare, (electronic resource)
Label
Software and systems safety : specification and verification, edited by Manfred Broy, Christian Leuxner and Tony Hoare, (electronic resource)
Link
http://libproxy.rpi.edu/login?url=https://ebookcentral.proquest.com/lib/connectny/detail.action?docID=784589
Publication
Related Contributor
Related Location
Related Agents
Related Authorities
Related Subjects
Related Items
Bibliography note
Includes bibliographical references and indexes
Color
multicolored
Dimensions
unknown
http://library.link/vocab/discovery_link
{'f': 'http://opac.lib.rpi.edu/record=b4039742'}
Extent
ix, 285 p.
Form of item
  • online
  • electronic
Other physical details
ill. (some col.).
Reproduction note
Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
Specific material designation
remote

Library Locations

    • Folsom LibraryBorrow it
      110 8th St, Troy, NY, 12180, US
      42.729766 -73.682577
Processing Feedback ...