Caricamento...
Programación metódica
Especificación y corrección. Verificación y derivación. El principio de inducción. Programas recursivos. Transformación de programas por inmersión. Inmersión de especificaciones. Programas iterativos. Transformación de recursividad múltiple. Búsqueda lineal, con booleano. Búsqueda en estructuras ord...
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Libro |
| Lingua: | Spanish |
| Pubblicazione: |
San José, C.R.:
McGraw Hill
1993
|
| Soggetti: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne! !
|
ULACIT - Costa Rica: Unknown
| Collocazione: |
INFF 019 |
|---|---|
| Copia 1 | Disponibile Richiedi |