Vérification des programmes orientés objet par méthodes mathématiques

dc.contributor.authorLOUZAOUI KHADIJA
dc.date.accessioned2016-08-24T14:08:56Z
dc.date.accessioned2025-05-21T09:34:24Z
dc.date.available2016-08-24T14:08:56Z
dc.date.issued2016-08-24
dc.date.registred2014
dc.description.cedSciences et Techniques
dc.description.collaboratorMOHAMED YAHYAI
dc.description.laboratoryMathématiques, Informatique et Applications
dc.identifier.urihttps://otrohati.imist.ma/handle/123456789/53183
dc.titleVérification des programmes orientés objet par méthodes mathématiques

Files