Your basket

1. Behavioural Descriptions in Architecture Description Languages Application To AADL GBP 11.00
2. Formal Verification by Abstract Interpretation GBP 11.00

Subtotal (excluding shipping and tax) GBP 22.00

Proceed to checkout Continue shopping