Verification of sequential and concurrent programs
Un desafio importante para la informática es desarrollar los métodos que aseguran la corrección de los programas, este libro proporciona una introducción estructurada a la verificación de programas, cada capítulo concluye con ejercicios y observaciones bibliográficas para la lectura adicional, el te...
Guardado en:
| Autor principal: | |
|---|---|
| Otros Autores: | |
| Formato: | Libro |
| Lenguaje: | Inglés |
| Publicado: |
New York :
Springer-Verlag,
s.f.
|
| Edición: | 2§ edición |
| Materias: | |
| Aporte de: | Registro referencial: Solicitar el recurso aquí |
| LEADER | 01299nam a22003250a 4500 | ||
|---|---|---|---|
| 001 | PT9216 | ||
| 003 | AR-LpoUNG | ||
| 005 | 20210131232346.0 | ||
| 008 | 191001suuuu||||xxu|||||||||||||||||eng d | ||
| 020 | |a 0387948961 |c $93.33 | ||
| 040 | |a AR-LpoUNG |b spa |c AR-LpoUNG |e aacr | ||
| 041 | |a eng | ||
| 044 | |a xxu | ||
| 082 | 0 | |a 005.11 44ver | |
| 100 | 1 | |a Apt, Krzysztof R. | |
| 245 | 1 | 0 | |a Verification of sequential and concurrent programs |
| 250 | |a 2§ edición | ||
| 260 | |a New York : |b Springer-Verlag, |c s.f. | ||
| 300 | |a xvii, 364 p. : |b il., gráfs. | ||
| 520 | |a Un desafio importante para la informática es desarrollar los métodos que aseguran la corrección de los programas, este libro proporciona una introducción estructurada a la verificación de programas, cada capítulo concluye con ejercicios y observaciones bibliográficas para la lectura adicional, el texto puede también ser utilizado como introducción a la semántica operacional. | ||
| 650 | 4 | |a DISEÑO DE SISTEMAS | |
| 650 | 4 | |a INFORMATICA | |
| 650 | 4 | |a INGENIERIA DE PROGRAMAS INFORMATICOS | |
| 650 | 4 | |a LENGUAJES DE PROGRAMACION | |
| 650 | 4 | |a PROGRAMACION DE COMPUTADORAS | |
| 651 | 4 | |a DOCUMENTOS TEORICOS O METODOLOGICOS | |
| 700 | 1 | |a Olderog, Ernst-Rüdiger | |
| 905 | |a 9216 | ||
| 942 | |c LIB | ||
| 999 | |c 15150 |d 15150 | ||