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. CD-ROM contains the main SPARK tools and additional manuals giving all the information needed to use SPARK in practice. Technology:The SPARK language is aimed at writing reliable software that combines simplicity and rigour within a.
High Integrity Software: The SPARK Approach to Safety and Security pdf
High Integrity Software: The SPARK Approach to Safety and Security by John Barnes ebook pdf epub mobi
John Barnes ebooks downloads
No comments:
Post a Comment
Note: Only a member of this blog may post a comment.