Verificación y Desarrollo de Programas /Rodrigo Cardoso
Tipo de material:![Texto](/opac-tmpl/lib/famfamfam/BK.png)
Contenidos:
1. Corrección
2. Semántica axiomática y verificación.
3. Procedimiento
4. Desarrollo de programas.
5. Paradigmas
6. Especificación
Tipo de ítem | Biblioteca actual | Signatura | Estado | Fecha de vencimiento | Código de barras |
---|---|---|---|---|---|
![]() |
Biblioteca Especializada de la Facultad de Ciencias | /C26 (Navegar estantería(Abre debajo)) | Disponible | FC129 |
Indice.
Bibliografia 463p.
1. Corrección
2. Semántica axiomática y verificación.
3. Procedimiento
4. Desarrollo de programas.
5. Paradigmas
6. Especificación
No hay comentarios en este titulo.