Outils de mise en oeuvre industrielle des techniques formelles

Livres numériques

Prévisualiser ce livre

Outils de mise en oeuvre industrielle des techniques formelles

Jean-Louis BOULANGER

Prix membre: 156,95$ (qu'est-ce que c'est?)
Prix régulier: 156,95$

Disponibilité:
Ebook en format PDF. Disponible pour téléchargement immédiat après la commande.

Éditeur:
Lavoisier-Hermès

Protection:
ACS4

Année de parution:
2021

ISBN-13: 9782746288010

Description:

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.

Aperçu du livre

Agrandir l'aperçu