Cours et exercices corrigés d'algorithmique : vérifier, tester et concevoir des programmes en les modélisant
La 4e de couverture indique : dans le monde de l'industrie et des services, la validation et la vérification des logiciels sont aujourd'hui des enjeux sécuritaires et économiques majeurs. La sécurité des passagers des véhicules de transport dépend par exemple de la sûreté des logiciels qui...
Enregistré dans:
Auteur principal : | |
---|---|
Autres auteurs : | |
Format : | Livre |
Langue : | français |
Titre complet : | Cours et exercices corrigés d'algorithmique : vérifier, tester et concevoir des programmes en les modélisant / Jacques Julliand; préface de Pierre Berlioux |
Publié : |
Paris :
Vuibert
, impr. 2010 |
Description matérielle : | 1 vol. (VIII-264 p.) |
Sujets : |
Chargement en cours