Spécification logico-dynamique et mise en oeuvre informatique
de processus hybrides
(Sprache: Französisch)
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...
Leider schon ausverkauft
versandkostenfrei
Buch
74.00 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenlose Rücksendung
- Ratenzahlung möglich
Produktdetails
Produktinformationen zu „Spécification logico-dynamique et mise en oeuvre informatique “
Klappentext zu „Spécification logico-dynamique et mise en oeuvre informatique “
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 tche 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.
Autoren-Porträt von Vladimir Shpakov
Shpakov, VladimirShpakov Vladimir, Ph.D., chercheur principal de l'Institut d'informatique et d'automatisation de Saint-Pétersbourg de l'Académie des sciences de Russie. Les intérêts scientifiques sont liés à la spécification et à la mise en oeuvre informatique d'ensembles structurés de processus discrets-continus en interaction.
Bibliographische Angaben
- Autor: Vladimir Shpakov
- 2020, 188 Seiten, Maße: 22 cm, Kartoniert (TB), Französisch
- Verlag: Editions universitaires europeennes
- ISBN-10: 6139566576
- ISBN-13: 9786139566570
Sprache:
Französisch
Kommentar zu "Spécification logico-dynamique et mise en oeuvre informatique"
Schreiben Sie einen Kommentar zu "Spécification logico-dynamique et mise en oeuvre informatique".
Kommentar verfassen