Personnaliser

OK
Static Analysis de Helmut Seidl Format Broché

Static Analysis - Helmut Seidl

Note : 0

0 avis
  • Soyez le premier à donner un avis
Filtrer par :

83,20 €

Produit Neuf

  • Ou 20,80 € /mois

    • En savoir plus
    • Livraison : 3,99 €
    • Livré entre le 21 et le 28 septembre
    Voir les modes de livraison

    M_plus_L

    PRO Vendeur favori

    4,8/5 sur + de 1 000 ventes

    Voir le détail de l'annonce

    Nos autres offres

    • 88,22 €

      Produit Neuf

      Ou 22,06 € /mois

      En savoir plus
      • Livraison : 25,00 €
      • Livré entre le 5 et le 10 octobre
      Voir les modes de livraison

      Kelindo

      PRO

      4,8/5 sur + de 1 000 ventes
      Afficher la description de l'annonce

      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.

      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
    Terminer ma commande

    Gratuit et sans engagement

    Félicitations !

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

    En savoir plus

    TROUVER UN MAGASIN

      Retour

      Horaires

          Note :


          Avis sur Static Analysis de Helmut Seidl Format Broché  - Livre

          Note : 0 0 avis sur Static Analysis de Helmut Seidl Format Broché  - Livre

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


          Présentation Static Analysis de Helmut Seidl Format Broché

           - Livre

          Livre - Helmut Seidl - 01/09/2014 - Broché - Langue : Anglais

          . .

        • Auteur(s) : Helmut Seidl - Markus Müller-Olm
        • Editeur : Springer International Publishing
        • Langue : Anglais
        • Parution : 01/09/2014
        • Expédition : 540
        • Dimensions : 23.5 x 15.5 x 1.9
        • ISBN : 9783319109350



          • Résumé :
          This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Static Analysis, SAS 2014, held in Munich, Germany, in September 2014. The 20 revised full papers were selected from 53 submissions and are presented together with 3 invited talks. The papers address all aspects of static analysis, including abstract interpretation, abstract testing, bug detection, data flow analysis, model checking, program transformation, program verification, security analysis, and type checking.

          Sommaire:
          Static analysis.- Including abstract interpretation.- Abstract testing.- Bug detection.- Data flow analysis.- Model checking.- Program transformation.- Program verification.- Security analysis.-?Type checking.