Frama-c linux
Cerrado
ez-rmk
Mensajes enviados
5
Fecha de inscripción
sábado, 10 de abril de 2010
Estatus
Miembro
Última intervención
domingo, 18 de abril de 2010
-
12 abr 2010 a las 21:31
ez-rmk Mensajes enviados 5 Fecha de inscripción sábado, 10 de abril de 2010 Estatus Miembro Última intervención domingo, 18 de abril de 2010 - 14 abr 2010 a las 23:35
ez-rmk Mensajes enviados 5 Fecha de inscripción sábado, 10 de abril de 2010 Estatus Miembro Última intervención domingo, 18 de abril de 2010 - 14 abr 2010 a las 23:35
Consulta también:
- Frama-c linux
- Su linux - Guide
- Puppy linux - Programas - Linux
- Restaurar linux desde terminal - Guide
- Descargar wine para linux - Programas - Otros
- Fdisk linux - Guide
2 respuestas
Frama-C solamente puede servir para la *verificación* de los C programas. No puede ser utilizado para programar.
Para programar en C, personalmente recomendaría Emacs.
[apologies, I have not used Spanish in 15 years]
Para programar en C, personalmente recomendaría Emacs.
[apologies, I have not used Spanish in 15 years]
ez-rmk
Mensajes enviados
5
Fecha de inscripción
sábado, 10 de abril de 2010
Estatus
Miembro
Última intervención
domingo, 18 de abril de 2010
14 abr 2010 a las 23:35
14 abr 2010 a las 23:35
Gracias pa. Ya lo prueboo^^