Refinement calculus : a systematic introduction /
Guardado en:
| Autor Principal: | |
|---|---|
| Otros Autores: | |
| Formato: | Libro |
| Idioma: | English |
| Publicado: |
New York :
Springer,
c1998.
|
| Series: | Graduate texts in computer science (Springer-Verlag New York Inc.)
|
| Materias: | |
| Acceso en línea: | Publisher description Table of contents only |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| LEADER | 01133cam a2200289 a 4500 | ||
|---|---|---|---|
| 001 | DCC.dcic001100 | ||
| 008 | 971124s1998####nyua#####b####001#0#eng## | ||
| 005 | 20151130154725.0 | ||
| 245 | 1 | 0 | |a Refinement calculus : |b a systematic introduction / |c Ralph-Johan Back, Joakim von Wright. |
| 260 | |a New York : |b Springer, |c c1998. | ||
| 300 | |a xv, 519 p. : |b il. ; |c 23.5 cm. | ||
| 490 | 1 | |a Graduate texts in computer science | |
| 504 | |a Incluye referencias bibliográficas (p. [501]-508) e índice. | ||
| 020 | |a 0387984178 (alk. paper) | ||
| 100 | 1 | |a Back, Ralph-Johan. | |
| 700 | 1 | |a Wright, J. von |q (Joakim), |d 1955- | |
| 830 | 0 | |a Graduate texts in computer science (Springer-Verlag New York Inc.) | |
| 082 | 0 | 0 | |a 005.1/4 |2 21 |
| 650 | 0 | |a Computer programming. | |
| 650 | 0 | |a Calculus. | |
| 650 | 0 | |a Computer logic. | |
| 010 | |a 97047336 | ||
| 040 | |a DLC |c DLC |d DLC | ||
| 050 | 0 | 0 | |a QA76.6 |b .B28 1998 |
| 856 | 4 | 2 | |3 Publisher description |u http://www.loc.gov/catdir/enhancements/fy0812/97047336-d.html |
| 856 | 4 | 1 | |3 Table of contents only |u http://www.loc.gov/catdir/enhancements/fy0812/97047336-t.html |
| 859 | |a DCIC |b BIB. COMPUTACION |p 2120 | ||