The Resource Software and systems safety : specification and verification, edited by Manfred Broy, Christian Leuxner and Tony Hoare

Software and systems safety : specification and verification, edited by Manfred Broy, Christian Leuxner and Tony Hoare

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
AZK
Illustrations
illustrations
Index
index present
LC call number
QA76.76.P76
Literary form
non fiction
Nature of contents
  • standards specifications
  • bibliography
Series statement
NATO science for peace and security series. Sub-series D, Information and communication security,
Series volume
v. 30
Label
Software and systems safety : specification and verification, edited by Manfred Broy, Christian Leuxner and Tony Hoare
Publication
Bibliography note
Includes bibliographical references and indexes
http://library.link/vocab/branchCode
  • net
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Control code
ocn961550007
Dimensions
unknown
Extent
1 online resource (ix, 285 pages)
Form of item
online
Media category
computer
Media MARC source
rdamedia
Media type code
c
Other physical details
illustrations (some color)
http://library.link/vocab/recordID
.b25843485
Specific material designation
remote
System control number
  • (OCoLC)961550007
  • pebcs1607507102

Library Locations

    • Deakin University Library - Geelong Waurn Ponds CampusBorrow it
      75 Pigdons Road, Waurn Ponds, Victoria, 3216, AU
      -38.195656 144.304955
Processing Feedback ...