Nous utilisons des cookies pour améliorer votre expérience. Pour nous conformer à la nouvelle directive sur la vie privée, nous devons demander votre consentement à l’utilisation de ces cookies. En savoir plus.
Spécification logico-dynamique et mise en oeuvre informatique
Univ Europeenne - EAN : 9786139566570
Édition papier
EAN : 9786139566570
Paru le : 1 juin 2020
71,90 €
68,15 €
Disponible
Pour connaître votre prix et commander, identifiez-vous
Notre engagement qualité
-
Livraison gratuite
en France sans minimum
de commande -
Manquants maintenus
en commande
automatiquement -
Un interlocuteur
unique pour toutes
vos commandes -
Toutes les licences
numériques du marché
au tarif éditeur -
Assistance téléphonique
personalisée sur le
numérique -
Service client
Du Lundi au vendredi
de 9h à 18h
- EAN13 : 9786139566570
- Réf. éditeur : 8661982
- Editeur : Univ Europeenne
- Date Parution : 1 juin 2020
- Disponibilite : Disponible
- Barème de remise : NS
- Nombre de pages : 188
- Format : H:229 mm L:152 mm E:11 mm
- Poids : 285gr
- Interdit de retour : Retour interdit
- Résumé : La tendance du développement des outils de simulation informatique est d'exclure le travail des programmeurs lors de la création et de la modification des modèles. Le recours à des programmeurs implique l'échange de connaissances entre eux et des spécialistes dans des domaines et des problèmes particuliers. Cet échange est assez laborieux. La tâche consiste à fournir aux spécialistes des outils qui leur permettent de créer des spécifications de processus exécutables. Le livre est consacré à la description et à l'étude expérimentale de l'approche transitive logico-dynamique de la spécification et de l'implémentation informatique des processus. La spécification est la base des règles de transformation qui déterminent le rapport de la séquence entre l'état actuel du processus et son état après une certaine période de temps. Les exemples montrent les capacités de l'approche à mettre en oeuvre les processus spécifiés par les modèles physiques et mathématiques des systèmes, et les schémas structurels des processus élémentaires. Le livre peut intéresser les chercheurs de systèmes dynamiques, les enseignants et les étudiants.
