Programming with Specifications: An Introduction to ANNA, A Language for Specify
67,86 €
0 What Anna Is. - 0.2 Adding Annotations to Ada. - 0.3 Applying Anna. - 1 Simple Annotations. - 1.1 Annotations. - 1.5 Modifiers. - 1.6 Assertions. - 1.8 Object Annotations.
Jetzt bei Ebay:
