Programs as Diagrams From Categorical Computability to Computable Categories /
It is not always clear what computer programs mean in the various languages in which they can be written, yet a picture can be worth 1000 words, a diagram 1000 instructions. In this unique textbook/reference, programs are drawn as string diagrams in the language of categories, which display a univer...
Guardat en:
| Autor principal: | |
|---|---|
| Autor corporatiu: | |
| Format: | Electrònic eBook |
| Idioma: | anglès |
| Publicat: |
Cham :
Springer Nature Switzerland : Imprint: Springer,
2023.
|
| Edició: | 1st ed. 2023. |
| Col·lecció: | Theory and Applications of Computability, In cooperation with the Association Computability in Europe,
|
| Matèries: | |
| Accés en línia: | https://doi.org/10.1007/978-3-031-34827-3 |
| Etiquetes: |
Afegir etiqueta
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|
Sistema fora de servei per tasques de manteniment
El catàleg està fora de servei temporalment per tasques de manteniment
La informació de disponibilitat dels exemplars no està disponible en aquests moments, sentim les inconveniències: