Personnaliser

OK

Tools and Methods of Program Analysis -

Note : 0

0 avis
  • Soyez le premier à donner un avis

Vous en avez un à vendre ?

Vendez-le-vôtre

72,10 €

Produit Neuf

  • Ou 18,03 € /mois

    • Livraison à 0,01 €
    • Livré entre le 30 mai et le 8 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;ria9783030714710_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 Tools And Methods Of Program Analysis Format Broché  - Livre Informatique

        Note : 0 0 avis sur Tools And Methods Of Program Analysis Format Broché  - Livre Informatique

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


        Présentation Tools And Methods Of Program Analysis Format Broché

         - Livre Informatique

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

        . .

      • Editeur : Springer International Publishing Ag
      • Langue : Anglais
      • Parution : 01/03/2021
      • Format : Moyen, de 350g à 1kg
      • Nombre de pages : 220
      • Expédition : 341
      • Dimensions : 23.5 x 15.5 x 1.3
      • ISBN : 9783030714710



      • Résumé :

        Partial Specifications of Libraries: Applications in Software Engineering.- Chaotic Time Series Prediction: Run for the Horizon.- Machine Learning and value generation in Software Development: a survey.- About using of Strings Similarity conception in software engineering.- Multi-Perspective Process Mining with Embedding Configurations into DB-based Event Logs.- On DB-nets and their Applications.- Pre-Processing Network Messages of Trading Systems into Event Log for Process Mining.- Time series classification based on visualization of recurrence plots.- Relation between Test Coverage and Timed Automata Model Structure.- Random Graph Model for Structural Analysis of Online Communications.- The in uence of self-organizing teams on the structure of the social graph.- Making Bounded Model Checking Interprocedural in (Static Analysis) Style.- Static Taint Analysis for JavaScript Programs.- Generation of Testing Metrics by Using Cluster Analysis of Bug Reports.- Building an Adaptive Logs Classification System An Industrial Report.- Development of Test Suite with Formally Verified FSM Coverage: A Case Study.- Generation of test-based traces for automated partial software specifications extraction.

        ...

        Biographie:
        Chaotic Time Series Prediction: Run for the Horizon.- ...

        Sommaire:
        Partial Specifications of Libraries: Applications in Software Engineering.- Chaotic Time Series Prediction: Run for the Horizon.- Machine Learning and value generation in Software Development: a survey.- About using of Strings Similarity conception in software engineering.- Multi-Perspective Process Mining with Embedding Configurations into DB-based Event Logs.- On DB-nets and their Applications.- Pre-Processing Network Messages of Trading Systems into Event Log for Process Mining.- Time series classification based on visualization of recurrence plots.- Relation between Test Coverage and Timed Automata Model Structure.- Random Graph Model for Structural Analysis of Online Communications.- The in uence of self-organizing teams on the structure of the social graph.- Making Bounded Model Checking Interprocedural in (Static Analysis) Style.- Static Taint Analysis for JavaScript Programs.- Generation of Testing Metrics by Using Cluster Analysis of Bug Reports.- Building an Adaptive Logs Classification System An Industrial Report.- Development of Test Suite with Formally Verified FSM Coverage: A Case Study.- Generation of test-based traces for automated partial software specifications extraction....

        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