Proof in VDM : a practitioner's guide /
Guardado en:
| Otros Autores: | |
|---|---|
| Formato: | Libro |
| Idioma: | English |
| Publicado: |
London ; New York :
Springer-Verlag,
c1994.
|
| Series: | Formal approaches to computing and information technology
|
| Materias: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| LEADER | 00977nam a22002655a 4500 | ||
|---|---|---|---|
| 001 | DCC.dcic000071 | ||
| 008 | 931019s1994####gw#a#####b####001#0#eng## | ||
| 005 | 20151123115025.0 | ||
| 245 | 0 | 0 | |a Proof in VDM : |b a practitioner's guide / |c by Juan C. Bicarregui ... [et al.] |
| 260 | |a London ; |a New York : |b Springer-Verlag, |c c1994. | ||
| 300 | |a xvi, 362 p. : |b ill. ; |c 24 cm. | ||
| 440 | 0 | |a Formal approaches to computing and information technology | |
| 504 | |a Includes bibliographical references (p. [343]-345) and indexes. | ||
| 020 | |a 038719813X (alk. paper) : |c $37.50 | ||
| 700 | 1 | |a Bicarregui, Juan C. |q (Juan Carlos), |d 1962- | |
| 082 | 0 | 0 | |a 005.1/2 |2 20 |
| 650 | 0 | |a Computer software |x Development. | |
| 650 | 0 | |a Automatic theorem proving. | |
| 650 | 0 | |a System design. | |
| 035 | |9 (DLC) 93023655 | ||
| 010 | |a 93023655 | ||
| 040 | |a DLC |c DLC |d DLC | ||
| 050 | 0 | 0 | |a QA76.76.D47 |b P776 1994 |
| 859 | |a DCIC |b BIB. COMPUTACION |p 0113 |t 1 | ||
| 859 | |a DCIC |b BIB. COMPUTACION |p 0114 |t 2 | ||