Management des opérations informatiques et ITIL

Lionel Loyer, Jacques Moulinec, Flemming Christensen, Hervé Guyader

Note moyenne : | 0 avis
Ce produit n'a pas encore été évalué. Soyez le premier !
  • Hermes Science Publications

  • Paru le : 13/02/2006
  • Tous vos e-books sur notre application de lecture
  • Téléchargement immédiat
  • Aide au choix numérique
49,00 €
E-book - PDF
Vérifier la compatibilité avec vos supports

Decitre eBooks

Découvrez vos e-books avec notre application de lecture !

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 : Autorisé
    • Copier coller : Autorisé

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

Ne partez pas tout de suite...

Inscription newsletter