Formal Methods for Components and Objects: 11th International Symposium, FMCO 20
62,58 €
The Abstract Behavioral Specification Language: A Tutorial Introduction. - Subobject-Oriented Programming. - Verification of Open Concurrent Object Systems. - Automatic Inference of Bounds on Resource Consumption.
Jetzt bei Ebay:
