Refinement calculus: a systematic Introduction/ Ralph-Johan Back and Joakim von Wright
Material type:


Item type | Current location | Collection | Call number | Vol info | Copy number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|---|---|
![]() |
Biblioteca Jorge Álvarez Lleras | Colección / Fondo / Acervo / Resguardo | 005.14 B124r (Browse shelf) | Ej. 1 | 1 | Available | 017981 |
Total holds: 0
Incluye bibliografía e índice p. 501
There are no comments on this title.