{"product_id":"specification-synthese-et-qualite-des-modeles-de-simulation-a-evenements-discrets-von-mamadou-kaba-traore","title":"Spécification,synthèse et qualité des modèles de simulation","description":"\u003cp\u003eCet ouvrage se veut une contribution à une meilleure compréhension de l¿évolution des modèles de simulation dans leur cycle de vie. Le concept au c¿ur de cet objectif est celui de modélisation multi-analyse qui vise à conjuguer la simulation, les capacités de raisonnement symbolique, et les moyens de synthèse automatique de code, à partir d'une spécification unique. Cet effort, qui est au service de l'ingénierie modèle-centrée des systèmes complexes, est à la croisée de la théorie mathématique des systèmes dynamiques, des méthodes formelles et du génie logiciel avancé.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783841727558\"\u003e\u003ch3\u003eà événements discrets\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783841727558","offer_id":39427439296605,"sku":"9783841727558","price":44.9,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/2c676cb2-9a1d-4ae5-92cc-818da6197aa1.jpg?v=1777008918","url":"https:\/\/shop.autorenwelt.de\/products\/specification-synthese-et-qualite-des-modeles-de-simulation-a-evenements-discrets-von-mamadou-kaba-traore","provider":"Autorenwelt Shop","version":"1.0","type":"link"}