Algoritmos y estructuras de datos con programas verificados en dafny
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Libro |
| Lenguaje: | español |
| Publicado: |
Madrid, España:
Garceta
2023
|
| Edición: | Segunda edición |
| Etiquetas: |
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Ejemplares similares: Algoritmos y estructuras de datos con programas verificados en dafny
- Fundamentos de programación : algoritmos, estructura de datos y objetos
- Acceso a datos en aplicaciones web del entorno servidor, UF1845
- Modelado BIM con Autodesk Civil 3D
- Lógica para la computación : teorías de primer orden, resolución y elementos de programación lógica y prolog
- Metodología de la programación : aplicaciones en BASIC, COBOL y Pascal
- BPMN modeling and reference guide : understanding and using BPMN : develop rigorous yet understandable graphical representations of business processes