0% au considerat acest document util
Încărcare
Documente Academic
Documente Profesional
Documente Cultură
Document
1 s2.0 S1474667015358754 Main
Adăugat de Alaa Ayoub
Document
The B Method Takes Up Floating-Point Numbers: Lilian Burdy, Jean-Louis Dufour, Thierry Lecomte
Adăugat de Alaa Ayoub
Document
Pakonen NPICHMIT2017
Adăugat de Alaa Ayoub
Document
Towards Flight Control Verification Using Automate
Adăugat de Alaa Ayoub
Document
Les Bugs Informatique
Adăugat de Alaa Ayoub