Comprendre les méthodes formelles : panorama des outils logiques
Jean-François Monin- 20/09/1996
- Elsevier Masson
Résumé
Les méthodes formelles sont des outils informatiques permettant la réalisation de logiciels sûrs et fiables, de la conception à la mise en oeuvre. Celles-ci peuvent être abordées par la logique qui en constitue un des fils directeurs. Cet ouvrage présente cette démarche.
Caractéristiques
- Éditions : Elsevier Masson
- Auteur : Jean-François Monin
- Nombre de pages : 328
- ISBN : 9782225853043
- Date de publication : 20 septembre 1996
- Dimensions (L x H x E cm) : 16 X 24 X 1.5
- Poids (g) : 573
- Reliure : Broché
Produit indisponible !
Nous n'avons plus d'exemplaire disponible pour le moment mais chaque jour nous remettons plus de 8000 produits en stock.
Produit indisponible !
