Colección: TEMAS
| Temas | Cantidad |
|---|---|
| Algoritmos | 1 |
| Ciencias Informáticas | 2 |
| Datalog | 1 |
| RAISE | 2 |
| SOFTWARE ENGINEERING | 1 |
| base de datos | 2 |
| formal methods | 1 |
| model checking | 1 |
| verification techniques | 1 |
| Temas | Cantidad |
|---|---|
| Algoritmos | 1 |
| Ciencias Informáticas | 2 |
| Datalog | 1 |
| RAISE | 2 |
| SOFTWARE ENGINEERING | 1 |
| base de datos | 2 |
| formal methods | 1 |
| model checking | 1 |
| verification techniques | 1 |