Programs, recursion and unbounded choice : predicate-transformation semantics and transformation rules /
Guardat en:
| Autor principal: | |
|---|---|
| Format: | Llibre |
| Idioma: | English |
| Publicat: |
Cambridge :
Cambridge University Press,
2005.
|
| Col·lecció: | Cambridge tracts in theoretical computer science ;
27 |
| Matèries: | |
| 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: