0% acharam este documento útil
Carregando
Escolar Documentos
Profissional Documentos
Cultura Documentos
Documento
1 s2.0 S1474667015358754 Main
Adicionado por Alaa Ayoub
Documento
The B Method Takes Up Floating-Point Numbers: Lilian Burdy, Jean-Louis Dufour, Thierry Lecomte
Adicionado por Alaa Ayoub
Documento
Pakonen NPICHMIT2017
Adicionado por Alaa Ayoub
Documento
Towards Flight Control Verification Using Automate
Adicionado por Alaa Ayoub
Documento
Les Bugs Informatique
Adicionado por Alaa Ayoub