Publications
- J.G.P. Barnes (October 1976). RTL/ 2: Design and Philosophy. London: Heydon. ISBN 978-0855012243.
- John Barnes, Ben Brosgol (January 1995). Ada 95 Rationale: The Language, the Standard Libraries. Berlin; New York: Springer. ISBN 3-540-63143-7. http://www.adaic.com/standards/95rat/RAThtml/rat95-contents.html.
- John Barnes (1998-06-10). Programming in Ada 95 (2nd ed.). Addison-Wesley. ISBN 0-201-34293-6.
- John Barnes (1997-06-15). High Integrity Ada: The SPARK Approach. Addison-Wesley. ISBN 0-201-17517-7. http://www.aw-bc.com/catalog/academic/product/0,1144,0201175177,00.html.
- John Barnes (2003-04-25). High Integrity Software: The SPARK Approach to Safety and Security. Addison-Wesley. ISBN 0-321-13616-0. http://www.praxis-his.com/sparkada/sparkbook.asp.
- John Barnes (2006-06-30). Programming in Ada 2005. Addison Wesley. ISBN 0-321-34078-7. http://www.pearsonhighered.com/educator/academic/product/0,,0321340787,00%2Ben-USS_01DBC.html.
| Persondata | |
|---|---|
| Name | Barnes, John Gilbert Presslie |
| Alternative names | |
| Short description | |
| Date of birth | |
| Place of birth | |
| Date of death | |
| Place of death | |
Read more about this topic: John Barnes (computer Scientist)
Famous quotes containing the word publications:
“Dr. Calder [a Unitarian minister] said of Dr. [Samuel] Johnson on the publications of Boswell and Mrs. Piozzi, that he was like Actaeon, torn to pieces by his own pack.”
—Horace Walpole (1717–1797)