Personnaliser

OK

Interactive Systems. Design, Specification, and Verification -

Note : 0

0 avis
  • Soyez le premier à donner un avis

Vous en avez un à vendre ?

Vendez-le-vôtre

71,50 €

Produit Neuf

  • Ou 17,88 € /mois

    • Livraison à 0,01 €
    • Livré entre le 1 et le 10 juin
    Voir les modes de livraison

    RiaChristie

    PRO Vendeur favori

    4,9/5 sur + de 1 000 ventes

    Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783540416630_dbm

    Publicité
     
    Vous avez choisi le retrait chez le vendeur à
    • Payez directement sur Rakuten (CB, PayPal, 4xCB...)
    • Récupérez le produit directement chez le vendeur
    • Rakuten vous rembourse en cas de problème

    Gratuit et sans engagement

    Félicitations !

    Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !

    En savoir plus

    Retour

    Horaires

        Note :


        Avis sur Interactive Systems. Design, Specification, And Verification Format Broché  - Livre Informatique

        Note : 0 0 avis sur Interactive Systems. Design, Specification, And Verification Format Broché  - Livre Informatique

        Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.


        Présentation Interactive Systems. Design, Specification, And Verification Format Broché

         - Livre Informatique

        Livre Informatique - 01/01/2001 - Broché - Langue : Anglais

        . .

      • Editeur : Springer-Verlag Gmbh
      • Langue : Anglais
      • Parution : 01/01/2001
      • Format : Moyen, de 350g à 1kg
      • Nombre de pages : 268
      • Expédition : 411
      • Dimensions : 23.5 x 15.5 x 15.0
      • ISBN : 3540416633



      • Sommaire:
        Designing Interactive Distributed Systems.- Specifying Temporal Behaviour in Software Architectures for Groupware Systems.- Questioning the Foundations of Utility for Quality of Service in Interface Development.- Designing User Interfaces.- A Framework for the Combination and Characterization of Output Modalities.- Specifying Multiple Time Granularities in Interactive Systems.- Verifying the Behaviour of Virtual Environment World Objects.- Tools for User Interfaces.- SUIT - Context Sensitive Evaluation of User Interface Development Tools.- Structuring Interactive Systems Specifications for Executability and Prototypability.- A Toolkit of Mechanism and Context Independent Widgets.- Formal Methods for Human-Computer Interaction.- Integrating Model Checking and HCI Tools to Help Designers Verify User Interface Properties.- More Precise Descriptions of Temporal Relations within Task Models.- Formal Interactive Systems Analysis and Usability Inspection Methods: Two Incompatible Worlds?.- Model-Based Design of Interactive Systems.- Wisdom - A UML Based Architecture for Interactive Systems.- User Interface Declarative Models and Development Environments: A Survey.- The Task-Dialog and Task-Presentation Mapping Problem: Some Preliminary Results.

        Détails de conformité du produit

        Consulter les détails de conformité de ce produit (

        Personne responsable dans l'UE

        )
        Le choixNeuf et occasion
        Minimum5% remboursés
        La sécuritéSatisfait ou remboursé
        Le service clientsÀ votre écoute
        LinkedinFacebookTwitterInstagramYoutubePinterestTiktok
        visavisa
        mastercardmastercard
        klarnaklarna
        paypalpaypal
        floafloa
        americanexpressamericanexpress
        Rakuten Logo
        • Rakuten Kobo
        • Rakuten TV
        • Rakuten Viber
        • Rakuten Viki
        • Plus de services
        • À propos de Rakuten
        Rakuten.com