GEOTRUST SSL CERTIFICATE
Détail d'une collection
|
Documents disponibles dans la collection (1)



![]()
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[...]