- le concept de plus faible précondition
- sur la preuve d'une opération en B
- et on spécifiera quelques opérations (vous devez avoir étudié les machines commentées qui sont sur mes pages)
Si vous avez des questions précises (vous devez rédiger ce que vous avez à me demander) , le courriel et le blog est à votre disposition. Soyons modernes intelligemment.
Aucun commentaire:
Enregistrer un commentaire