Management des opérations informatiques et ITIL

  • Hermes Science Publications

  • Paru le : 13/02/2006
Note moyenne : |
Ce produit n'a pas encore été évalué. Soyez le premier !
Donnez votre avis !
Aujourd'hui, les systèmes informatiques temps réel sont présents dans de multiples secteurs d'activités : contrôle des systèmes automatisés de... > Lire la suite
49,00 €
E-book - PDF
Vérifier la compatibilité avec vos supports
Votre note
Aujourd'hui, les systèmes informatiques temps réel sont présents dans de multiples secteurs d'activités : contrôle des systèmes automatisés de production, aide à la conduite des véhicules ou gestion des flux d'information sur des réseaux locaux et sur l'Internet. Au cours des 30 dernières années, le temps réel s'est progressivement établi comme une discipline à part entière qui rassemble une forte communauté issue à la fois du monde académique et de l'industrie.
Ce traité en deux volumes a pour objectif de mieux faire connaître cette discipline : ses enjeux, les méthodes et formalismes qui lui sont spécifiques, les outils existants, les résultats connus et, naturellement, les recherches encore à mener. Ce premier volume est consacré aux techniques de description et de vérification formelle, comme le model-checking, qui permettent de s'assurer, avant déploiement du système, du respect des propriétés de bon fonctionnement.
Ce volume est délibérément orienté ""outils"" de façon à proposer des solutions concrètes à l'utilisateur potentiel de méthodes formelles.
  • Caractéristiques du format PDF
    • Taille : 6 427 Ko
    • Protection num. : Digital Watermarking
    • Transferts max. : Autorisé
    • Imprimable : 01 page(s) autorisée(s)
    • Copier coller : 01 page(s) autorisée(s)

Nos avis clients sur decitre.fr


Avis Trustpilot

Management des opérations informatiques et ITIL est également présent dans les rayons

Lionel Loyer et Jacques Moulinec - Management des opérations informatiques et ITIL.
Management des opérations informatiques et ITIL
49,00 €
Haut de page
Decitre utilise des cookies pour vous offrir le meilleur service possible. En continuant votre navigation, vous en acceptez l'utilisation. En savoir plus OK