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...
Description complète
Enregistré dans:
Détails bibliographiques
| Auteur principal : |
Julliand Jacques
(Auteur) |
| Autres auteurs : |
Berlioux Pierre
(Préfacier) |
| 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 : |
|
Nantilus
