Personnaliser

OK

Formal Methods in Human-Computer Interaction -

Note : 0

0 avis
  • Soyez le premier à donner un avis

Vous en avez un à vendre ?

Vendez-le-vôtre
Filtrer par :
Neuf (2)
Occasion
Reconditionné

71,52 €

Produit Neuf

  • Ou 17,88 € /mois

    • Livraison à 0,01 €
    • Livré entre le 4 et le 11 mai
    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;ria9780521448673_dbm

    Nos autres offres

    • 97,99 €

      Produit Neuf

      Ou 24,50 € /mois

      • Livraison : 25,00 €
      • Livré entre le 18 et le 23 mai
      Voir les modes de livraison
      4,8/5 sur + de 1 000 ventes

      Apres acceptation de la commande, le delai moyen d'expedition depuis le Japon est de 48 heures. Le delai moyen de livraison est de 3 a 4 semaines. En cas de circonstances exceptionnelles, les delais peuvent s'etendre jusqu'à 2 mois.

    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 Formal Methods In Human - Computer Interaction Format Broché  - Livre Informatique

        Note : 0 0 avis sur Formal Methods In Human - Computer Interaction Format Broché  - Livre Informatique

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


        Présentation Formal Methods In Human - Computer Interaction Format Broché

         - Livre Informatique

        Livre Informatique - 01/03/2009 - Broché - Langue : Anglais

        . .

      • Editeur : Cambridge University Press
      • Langue : Anglais
      • Parution : 01/03/2009
      • Format : Moyen, de 350g à 1kg
      • Nombre de pages : 344
      • Expédition : 595
      • Dimensions : 24.4 x 17.0 x 1.9
      • ISBN : 9780521448673



      • Résumé :
        Preface...

        Biographie:
        it is thus a coherent and important contribution to the area....

        Sommaire:
        First published in 1990, this book discusses the application of formal methods to the human-computer interface. Formal methods - the attempt to provide methods that rigourously and unambiguously describe the behaviour of a computer program or system - is receiving a great deal of attention in human-computer interaction (HCI). Topics such as the specification of a system, the construction of a system from its specification and the abstraction of a specification from an existing system, are clearly of great theoretical and practical interest. The contributors to the work are well-known in the field of HCI and their articles cover much of the work in the area. The book is a series of papers specially commissioned by the editors for the book...

        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