Personnaliser

OK

Automata Theory - Esparza, Javier

Note : 0

0 avis
  • Soyez le premier à donner un avis

Vous en avez un à vendre ?

Vendez-le-vôtre
Filtrer par :

119,49 €

Produit Neuf

  • Ou 29,87 € /mois

    • Livraison à 0,01 €
    Voir les modes de livraison

    rarewaves-uk

    PRO Vendeur favori

    4,8/5 sur + de 1 000 ventes

    Expédition rapide et soignée depuis l`Angleterre - Délai de livraison: entre 10 et 20 jours ouvrés.

    Nos autres offres

    • 104,56 €

      Produit Neuf

      Ou 26,14 € /mois

      • Livraison à 0,01 €
      Voir les modes de livraison
      4,7/5 sur + de 1 000 ventes

      Nouvel article expédié dans le 24H à partir des Etats Unis Livraison au bout de 14 à 21 jours ouvrables.

      Voir le détail de l'annonce 
    • 119,49 €

      Produit Neuf

      Ou 29,87 € /mois

      • Livraison à 0,01 €
      Voir les modes de livraison
      4,8/5 sur + de 1 000 ventes

      Expédition rapide et soignée depuis l`Angleterre - Délai de livraison: entre 10 et 20 jours ouvrés.

      Voir le détail de l'annonce 
    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 Automata Theory Format Relié  - Livre Informatique

        Note : 0 0 avis sur Automata Theory Format Relié  - Livre Informatique

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


        Présentation Automata Theory Format Relié

         - Livre Informatique

        Livre Informatique - Esparza, Javier - 01/10/2023 - Relié - Langue : Anglais

        . .

      • Auteur(s) : Esparza, Javier - Blondin, Michael
      • Editeur : Mit Press Ltd
      • Langue : Anglais
      • Parution : 01/10/2023
      • Format : Moyen, de 350g à 1kg
      • Nombre de pages : 560
      • Expédition : 1190
      • Dimensions : 23.6 x 18.5 x 4.0
      • ISBN : 9780262048637



      • Résumé :
        Preface xiii
        0 Overview 1
        I Automata on Finite Words ...

        Biographie:
        The book presents automata theory from a fresh viewpoint inspired by its main modern application: program verification-- Provided by publisher....

        Sommaire:

        1 Automata Classes and Conversions 9
        2 Minimization and Reduction 49
        3 Operations on Sets: Implementations 75
        4 Application 1: Pattern Matching 101
        5 Operations on Relations: Implementations 113
        6 Finite Universes and Decision Diagrams 131
        7 Application II: Verification 163
        8 Automata and Logic 193
        9 Application III: Presburger Arithmetic 229
        II Automata on Infinite Words
        10 Classes of Automata and Conversions 247
        11 Boolean Operations: Implementations 289
        12 Emptiness Check: Implementations 313
        13 Application I: Verification and Temporal Logic 341
        14 Application II: MSO Logics on Words and Linear Arithmetic 365
        Solutions 377
        Bibliographic Notes 523
        Bibliography 531
        Index 539...

        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