GEOTRUST SSL CERTIFICATE
Détail de l'auteur
Auteur Guy Vidal-Naquet |
Documents disponibles écrits par cet auteur (2)
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![Tris disponibles](./images/orderby_az.gif)
![]()
texte imprimé
Claude Bocage, Auteur ; Olivier Friedel, Auteur ; Guy Vidal-Naquet, Auteur | Paris : Ellipses | 1997L'informatique en tant que discipline est désormais présente dans les concours d'entrée aux grandes écoles. Cet ouvrage est destiné aux élèves des classes préparatoires et couvre la totalité du programme de l'option informatique. Il est agrément[...]![]()
texte imprimé
Comment garantir qu'un programme assure de manière correcte l'ensemble des fonctionnalités pour lesquelles il a été construit? Les réseaux de Petri constituent l'un des outils mathématiques de spécification et de description des systèmes fonctio[...]