AccessibilitéLogique informatique
1 / 1 exemplaire(s) disponible(s)
Filtrer par bibliothèque
Bibliotheque Localisation Cote Etat Retrait de la réservation
Oa 1 exemplaire(s) disponible(s)
Auteurs :
Année de parution :
2002
Détails
Editeur :
Collection :
Bibliothèque Pour la science
Importance matérielle :
192 p. : ill. en noir et en coul., couv. ill. en coul. : 25 cm
9782842450403
Veuillez vous connecter pour réserver
Article
Auteurs
Pajot, Philippe Auteur du texte
Bulletin : La Recherche 449 - février 2011
Date parution pério
2011-02-01
Pour vérifier que des systèmes informatiques fonctionneront comme prévu, on ne peut pas tester leur nombre infini de configurations. Les informaticiens ont alors recours à la logique.
Détails
Numéros de page :
2 p. / p. 18-19