High Integrity Software : The SPARK Approach to Safety and Security by John Barnes (2003, Trade Paperback)

World of Books Ltd (10430000)
98.6% positive Feedback
Price:
£36.69
Free delivery in 2-3 days
Estimated between Fri, 1 Aug and Sat, 2 Aug
Returns:
30 days return. Buyer pays for return postage. If you use an eBay delivery label, it will be deducted from your refund amount.
Condition:
Very Good
This book provides an accessible introduction to the SPARK programming language. Updated 'classic' that covers all of the new features of SPARK, including Object Oriented Programming. The only book on the market that covers this important and robust programming language.

About this product

Product Identifiers

PublisherAddison-Wesley Longman, Incorporated
ISBN-100321136160
ISBN-139780321136169
eBay Product ID (ePID)90005768

Product Key Features

Number of Pages448 Pages
Publication NameHigh Integrity Software : the Spark Approach to Safety and Security
LanguageEnglish
Publication Year2003
SubjectProgramming Languages / Ada, Security / General
TypeTextbook
Subject AreaComputers
AuthorJohn Barnes
FormatTrade Paperback

Dimensions

Item Height1 in
Item Weight31 oz.
Item Length9.5 in
Item Width6.8 in

Additional Product Features

Intended AudienceCollege Audience
No ratings or reviews yet
Be the first to write a review