Outils de mise en oeuvre industrielle des techniques formelles
Par : Jean-Louis Boulanger
Editeur : Lavoisier-Hermès
Numéro de produit : 9782746288010
ISBN : 9782746288010
156,95 $
Les livres numériques seront disponibles pour télécharger dès votre paiement effectué.
* Prix en dollar canadien. Taxes et livraison en sus.
Retour à la liste des produits
Des exemples d'utilisation des techniques formelles (méthode B, SCADE, MaTeLo, ControlBuild, SparkAda et POLYSPACE) et des techniques de vérification associées, accompagnés d'un point sur leurs avantages et leurs inconvénients.