An edition of Software and systems safety (2011)

Software and systems safety

specification and verification

by , , and

  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Software and systems safety
M. Broy, Christian Leuxner, C. ...
Not in Library

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today
Notes
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Notes

Check nearby libraries

Buy this book

Last edited by ImportBot
November 2, 2021 | History
Edit
An edition of Software and systems safety (2011)

Software and systems safety

specification and verification

by , , and

  • 0 Want to read
  • 0 Currently reading
  • 0 Have read

This edition doesn't have a description yet. Can you add one?

Publish Date
Publisher
IOS Press
Language
English
Pages
285

Check nearby libraries

Buy this book

Subjects

Computer security, Congresses, Verification, Software engineering, Computer software, Computer software, verification

Showing 1 featured edition. View all 1 editions?

Edition Availability
Cover of: Software and systems safety
Software and systems safety: specification and verification
2011, IOS Press
in English
  • Not in Library
Libraries near you: WorldCat

Add another edition?

Book Details

Edition Notes

Includes bibliographical references and index.

Published in
Amsterdam, Washington, D.C
Series
NATO science for peace and security series: -- Sub-series D: -- Information and communication security -- vol. 30, NATO science for peace and security series -- v. 30.

Classifications

Library of Congress
QA76.9.A25 S6535 2011, QA76.9.A25S6535 2011

The Physical Object

Pagination
ix, 285 p. :
Number of pages
285

ID Numbers

Open Library
OL25189513M
ISBN 10
1607507102
ISBN 13
9781607507109, 9781607507116
LCCN
2011922667
OCLC/WorldCat
705518941

Source records

Library of Congress MARC record
Library of Congress MARC record
Library of Congress MARC record
Better World Books record

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON
November 2, 2021 Edited by ImportBot import existing book
February 1, 2012 Created by LC Bot import new book