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...
Widely acclaimed as the authoritative textbook on Ada 83, Ada as a Second Language has been thoroughly revised to reflect the latest version of the language, Ada 95. Encyclopedic in...
Ada 95 is the first standardized object-oriented language, making it an ideal language to teach programming with. Assuming no previous knowledge of programming techniques, this book gives many examples and...
Written by a key member of the original Ada design team ' Programming in Ada 95' and its predecessor, ' Programming in Ada' have long been established as the definitive...
In this third edition, educators Michael Feldman and Elliot Koffman continue to refine and enhance their balanced presentation of modern programming concepts and Ada 95 language capabilities. Students with no...
The definitive text on the new version of Ada – Ada 2005 – written by one of the language’s creators. Barnes is to Ada what Kernighan & Ritchie are to...