Information technology. Programming languages. Guide for the use of the Ada Ravenscar Profile in high integrity systems
Regular price
£280.00
Sale price
£280.00
Regular price
£140.00
SaleSold out
Unit price
/per
Adding product to your cart
1 Scope
This Technical Report provides a description of the motivations behind the Ravenscar Profile, to show how Ada programs using the profile can be analysed, and gives examples of usage.
