Personnaliser

OK

Aujourd'hui seulement ! 10€ offerts* dès 69€ d'achat sur tout le site avec le code : RAKUTEN10

En profiter

Theories of Programming Languages - Reynolds, John C.

Note : 0

0 avis
  • Soyez le premier à donner un avis

Vous en avez un à vendre ?

Vendez-le-vôtre

159,44 €

Produit Neuf

  • Ou 39,86 € /mois

    • Livraison : 25,00 €
    • Livré entre le 4 et le 10 août
    Voir les modes de livraison

    Kelindo

    PRO Vendeur favori

    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 Theories Of Programming Languages Format Relié  - Livre Informatique

        Note : 0 0 avis sur Theories Of Programming Languages Format Relié  - Livre Informatique

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


        Présentation Theories Of Programming Languages Format Relié

         - Livre Informatique

        Livre Informatique - Reynolds, John C. - 01/02/2011 - Relié - Langue : Anglais

        . .

      • Auteur(s) : Reynolds, John C.
      • Editeur : Cambridge University Press
      • Langue : Anglais
      • Parution : 01/02/2011
      • Format : Moyen, de 350g à 1kg
      • Nombre de pages : 514
      • Expédition : 1154
      • Dimensions : 26.0 x 18.3 x 3.2
      • ISBN : 9780521594141



      • Résumé :
        This text is perfect for advanced undergraduate and beginning graduate courses in programming language theory.

        Sommaire:
        Preface; 1. Predicate Logic; 2. The Simple Imperative Language; 3. Programme Specifications and their Proofs; 4. Arrays; 5. Failure, Input-Output and Continuations; 6. Transition Semantics; 7. Nondeterminism and Guarded Commands; 8. Shared-variable Concurrency; 9. Communicating Sequential Processes; 10. The Lambda Calculus; 11. An Eager Functional Language; 12. Continuations in a Functional Language; 13. Iswim-like Languages; 14. A Normal-order Language; 15. The Simple Type System; 16. Subtypes and Intersection Types; 17. Polymorphism; 18. Module Specification; 19. Algol-like Languages; Appendices; Bibliography; Index.

        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
        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