Skip to content

High Integrity Software: The Spark Approach to Safety and Security
Stock Photo: Cover May Be Different

High Integrity Software: The Spark Approach to Safety and Security Hardcover - 2003

by John Barnes; J. G. Barnes


Details

  • Title High Integrity Software: The Spark Approach to Safety and Security
  • Author John Barnes; J. G. Barnes
  • Binding Hardcover
  • Pages 448
  • Volumes 1
  • Language ENG
  • Publisher Addison Wesley Publishing Company
  • Date April 25, 2003
  • ISBN 9780321136169 / 0321136160
  • Weight 1.95 lbs (0.88 kg)
  • Dimensions 9.38 x 6.98 x 1.11 in (23.83 x 17.73 x 2.82 cm)
  • Library of Congress subjects Computer software - Development, Ada (Computer program language)
  • Library of Congress Catalog Number 2003046380
  • Dewey Decimal Code 005.1
Back to Top

More Copies for Sale

High Integrity Software: The SPARK Approach to Safety and Security

High Integrity Software: The SPARK Approach to Safety and Security

by Barnes, John

  • Used
  • very good
  • Paperback
Condition
Used - Very Good
Binding
Paperback
ISBN 10 / ISBN 13
9780321136169 / 0321136160
Quantity Available
1
Seller
GORING BY SEA, West Sussex, United Kingdom
Seller rating:
This seller has earned a 2 of 5 Stars rating from Biblio customers.
Item Price
A$20.76
A$16.49 shipping to USA

Show Details

Description:
Paperback. Very Good.
Item Price
A$20.76
A$16.49 shipping to USA
High Integrity Software: The SPARK Approach to Safety and Security
Stock Photo: Cover May Be Different

High Integrity Software: The SPARK Approach to Safety and Security

by Barnes, John

  • Used
Condition
UsedAcceptable
ISBN 10 / ISBN 13
9780321136169 / 0321136160
Quantity Available
1
Seller
Interlochen, Michigan, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
A$26.36
FREE shipping to USA

Show Details

Description:
UsedAcceptable. The item is very worn but continues to work perfectly. Signs of wear can include aesthetic issues such as scratches, dents, worn and creased covers, folded page corners and minor liquid stains. All pages and the cover are intact, but the dust cover may be missing. Pages may include moderate to heavy amount of notes and highlighting, but the text is not obscured or unreadable. Page edges may have foxing (age related spots and browning). May NOT include discs, access code or other supplemental materials.
Item Price
A$26.36
FREE shipping to USA
High Integrity Software: The SPARK Approach to Safety and Security
Stock Photo: Cover May Be Different

High Integrity Software: The SPARK Approach to Safety and Security

by Barnes, John

  • Used
  • good
  • Hardcover
Condition
Used - Good
Binding
Hardcover
ISBN 10 / ISBN 13
9780321136169 / 0321136160
Quantity Available
1
Seller
Newport Coast, California, United States
Seller rating:
This seller has earned a 2 of 5 Stars rating from Biblio customers.
Item Price
A$87.13
FREE shipping to USA

Show Details

Description:
hardcover. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Item Price
A$87.13
FREE shipping to USA