High Integrity Software by John Barnes
This text provides an accessible introduction to the SPARK programming language. The CD-ROM contains the main SPARK tools and additional manuals giving all the information needed to use SPARK in practice.John Barnes is a veteran of the computing industry. In 1977 he designed and implemented the RTL/2 programming language and was an original member of the ADA programming language design team. He was founder and MD of Alsys Ltd from 1985 to 1991. Currently self employed, John is the author of 'Programming in ADA' which has sold 150000 copies and been translated into 6 languages.
| SKU | Unavailable |
| ISBN 13 | 9780321136169 |
| ISBN 10 | 0321136160 |
| Title | High Integrity Software |
| Author | John Barnes |
| Condition | Unavailable |
| Binding Type | Mixed media product |
| Publisher | Pearson Education (US) |
| Year published | 2003-03-17 |
| Number of pages | 448 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |