Design, Specification and Verification of Interactive Systems 96: Proceedings of
68,59 €
Invited Talks. - Human Factors in Aeronautics. - Abstract Interpretation and Application to Interactive System Verification. - Device Models. - Prototyping Device Interfaces with DSN/2. - Evaluating Formal Languages.
Jetzt bei Ebay:
