The foundations of program verification /
Guardado en:
| Autor Principal: | |
|---|---|
| Otros Autores: | , |
| Formato: | Libro |
| Idioma: | English |
| Publicado: |
Stuttgart : Chichester [West Sussex] ; New York :
B.G. Teubner ; Wiley,
c1987.
|
| Edición: | 2nd ed. |
| Series: | Wiley-Teubner series in computer science
|
| Materias: | |
| Acceso en línea: | Publisher description Table of Contents |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| LEADER | 01101pam a2200289 a 4500 | ||
|---|---|---|---|
| 001 | DCC.dcic000490 | ||
| 008 | 860724s1987####gw#a#####b####001#0#eng## | ||
| 005 | 20151124113138.0 | ||
| 245 | 1 | 4 | |a The foundations of program verification / |c Jacques Loeckx and Kurt Sieber, in collaboration with Ryan D. Stansifer. |
| 250 | |a 2nd ed. | ||
| 260 | |a Stuttgart : |b B.G. Teubner ; |a Chichester [West Sussex] ; |a New York : |b Wiley, |c c1987. | ||
| 300 | |a ix, 230 p. : |b il. ; |c 24 cm. | ||
| 440 | 0 | |a Wiley-Teubner series in computer science | |
| 504 | |a Bibliografía: p. 222-226. | ||
| 500 | |a Includes index. | ||
| 020 | |a 0471912824 | ||
| 100 | 1 | |a Loeckx, Jacques, |d 1931- | |
| 700 | 1 | |a Sieber, Kurt. | |
| 700 | 1 | |a Stansifer, Ryan D. | |
| 082 | 0 | 0 | |a 005.1/4 |2 19 |
| 650 | 0 | |a Computer programs |x Verification. | |
| 010 | |a 86019008 | ||
| 040 | |a DLC |c DLC |d DLC | ||
| 050 | 0 | 0 | |a QA76.6 |b .L585 1987 |
| 856 | 4 | 2 | |3 Publisher description |u http://www.loc.gov/catdir/description/wiley031/86019008.html |
| 856 | 4 | |3 Table of Contents |u http://www.loc.gov/catdir/toc/onix02/86019008.html | |
| 859 | |a DCIC |b BIB. COMPUTACION |p 0643 | ||