Preuve de propriétés dynamiques en B [electronic resource] / Diagne, Fama

Author:: Diagne, Fama
Published:: [S.l.] : University Evry, Institut national des télécommunications, 2013.

Finding items...

Restrictions on Access:

License restrictions may limit access.

Genre(s):

Note:

Title from content provider.

View MARC record | catkey: 12771226