The foundations of program verification /
Guardado en:
| Autor Principal: | |
|---|---|
| Otros Autores: | , |
| Formato: | Libro |
| Idioma: | English |
| Publicado: |
Stuttgart : Chichester [West Sussex] :
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 | 01107pam a2200289 a 4500 | ||
|---|---|---|---|
| 001 | MAT.inmabb004899 | ||
| 008 | 860724s1987####gw#######b####001#0#eng## | ||
| 005 | 20170508122205.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] : |b Wiley, |c c1987. | ||
| 300 | |a ix, 230 p. ; |c 24 cm. | ||
| 440 | 0 | |a Wiley-Teubner series in computer science | |
| 504 | |a Bibliografía: p. 222-226. | ||
| 510 | 4 | |a MR, |c 90g:68093 | |
| 020 | |a 0471912824 (Wiley) | ||
| 020 | |a 3519121018 (Teubner) | ||
| 100 | 1 | |a Loeckx, Jacques, |d 1931- | |
| 700 | 1 | |a Sieber, Kurt. | |
| 700 | 1 | |a Stansifer, Ryan D. | |
| 650 | 0 | |a Computer programs |x Verification. | |
| 084 | |a 68Q60 (68N05) |2 MR | ||
| 010 | |a 86019008 | ||
| 040 | |a DLC |c DLC |d DLC | ||
| 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 | |h 68 |i L825-2 |p A-6169 |b BIB. MATEMATICA | ||