Cart
0
Product
Products
(empty)
No products
To be determined
Shipping
$0.00
Total
Product successfully added to your shopping cart
Quantity
Total
There are 0 items in your cart.
There is 1 item in your cart.
Total products
Total shipping
To be determined
Total
Reduced price!
View larger
View larger
CAN/CSA-ISO/IEC TR 24718-06(R2016)
New product
CAN/CSA-ISO/IEC TR 24718-06(R2016)
Information Technology - Programming Languages - Guide for the Use of the Ada Ravenscar Profile in High Integrity Systems (Adopted ISO/IEC TR 24718:2005, first edition, 2005-02-15)More info
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.