Refinement calculus: a systematic Introduction/ Ralph-Johan Back and Joakim von Wright
Por: Back, Ralph-Johan
Colaborador(es): Wright, Joakim vonTipo de material: 
TextoSeries Graduate Texts in Computer ScienceEditor: New York: Springer 1998Descripción: 519 pISBN: 0387984178Tema(s): CALCULO | PROGRAMACIÓN (COMPUTADORES ELECTRÓNICOS) -- PROGRAMACIONClasificación CDD: 005.14
| Tipo de ítem | Ubicación actual | Colección | Signatura | Info Vol | Copia número | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems |
|---|---|---|---|---|---|---|---|---|---|
LIBRO - MATERIAL GENERAL
|
Bodega | Colección / Fondo / Acervo / Resguardo | 005.14 B124r (Navegar estantería) | Ej. 1 | 1 | Disponible | 017981 |
Total de reservas: 0
Navegando Bodega Estantes, Código de colección: Colección / Fondo / Acervo / Resguardo Cerrar el navegador de estanterías
| 005.133 V478 DC Visual C# Express Edition (archivo de computador). | 005.133 W145p Professional Apache/ | 005.136 C437s Supercharging C with assembly language/ | 005.14 B124r Refinement calculus: a systematic Introduction/ | 005.14 B875p Practical software testing: a process-oriented approach/ | 005.14 G234m Measuring the software process. A practical guide to functional measurements/ | 005.14 H379c The complete guide to software testing/ |
Incluye bibliografía e índice p. 501
AK. 45 No. 205 - 59, Autopista Norte.
PBX: +60(1) 668 3600 - Bogotá.
No hay comentarios en este titulo.