Jacques Moulinec - Management Des Operations Informatiques Et Itil (Coll. Management Et Informatique)

Jacques Moulinec - Management Des Operations Informatiques Et Itil (Coll. Management Et Informatique)

Jacques Moulinec - Management Des Operations Informatiques Et Itil (Coll. Management Et Informatique)

Téléchargez ou lisez le ebook électronique Management Des Operations Informatiques Et Itil (Coll. Management Et Informatique) au format PDF et EPUB. Ici, vous pouvez télécharger n'importe quel ebook au format PDF ou Epub gratuitement. Utilisez le bouton disponible sur cette page pour télécharger ou lire des ebooks électroniques en ligne.



Management Des Operations Informatiques Et Itil (Coll. Management Et Informatique) Jacques Moulinec

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.

19.07.2019

  • Titre Original: Management Des Operations Informatiques Et Itil (Coll. Management Et Informatique)
  • Les auteurs: Jacques Moulinec
  • Editeur: Hermes science publications
  • Date de lancement: 06.10.2017
  • Genre: Individu, lien social et organisations
  • ISBN: 2746213028
  • La Taille Du Fichier: 5.00MB
  • Langue: Français
  • Format de Ebooks : PDF, EPUB

Les Dix Meilleurs Ebooks