Algunas cosas pueden no funcionar todavíaIT.Community está en beta: algunas cosas pueden no funcionar como deberían. ¿Viste un problema? Cuéntanoslo y lo arreglamos rápido.
Strongly typed language designed for safety-critical and long-lived systems. Used in avionics, rail, defence and space software, with SPARK for formal verification of critical code.
0empleos
0próximos eventos
0perfiles
0empresas
0noticias
Esta etiqueta aún no se usa en ningún sitio
Aquí aparecerán empleos, eventos, perfiles y noticias con #Ada.
Solo usamos las cookies que el sitio necesita para funcionar: mantener tu sesión iniciada y recordar tus preferencias. Sin anuncios ni rastreadores. Más información
