Page personnelle

Thèmes :

PPC – Contraintes et SAT

Mots-clés :

  • Round-off errors
  • Floating-point arithmetic
  • Verification
  • PPC

Modifier vos informations