La ligne météor est le seul truc jamais codé en machine B. Le prouveur marchait tellement bien qu'ils ont du faire les calculs à la main. Alors certe ces prometteurs mais cela n'est pas utilisé encore courament.
(j'ai fais un DEA info ou cela parlait de preuve formel et je bosse dans le spacial)
Je ne connais pas les normes nucléaires mais les normes aéronautiques, c'est déjà bien coton.
[^] # Re: Mouarf
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Dassault / Microsoft. Évalué à 2.
La ligne météor est le seul truc jamais codé en machine B. Le prouveur marchait tellement bien qu'ils ont du faire les calculs à la main. Alors certe ces prometteurs mais cela n'est pas utilisé encore courament.
(j'ai fais un DEA info ou cela parlait de preuve formel et je bosse dans le spacial)
Je ne connais pas les normes nucléaires mais les normes aéronautiques, c'est déjà bien coton.
"La première sécurité est la liberté"