Design, Specification and Verification of Interactive Systems 98: Proceedings of
67,17 €
Invited Talks. - Interacting in Chaos. - Papers Presented. - Inference and Information Resources: A Design Case Study. - An Ontology for Task World Models. - Validating Semi-Formal Specifications of Interactors as Design Representations.
Jetzt bei Ebay:
