MARC details
| 000 -LEADER |
|---|
| campo de control de longitud fija |
01091nam a2200241Ia 4500 |
| 003 - IDENTIFICADOR DE NÚMERO DE CONTROL |
|---|
| campo de control |
MX-SIABUC |
| 005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN |
|---|
| campo de control |
20240716171917.0 |
| 020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO |
|---|
| Número Internacional Estándar del Libro |
978-0-85729-017-5 (pasta rústica) |
| 082 ## - NÚMERO DE LA CLASIFICACIÓN DECIMAL DEWEY |
|---|
| Número de clasificación |
005.14 R572r 2011 |
| 008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL |
|---|
| campo de control de longitud fija |
5200302011 nyuA 8100003300eng00 |
| 100 ## - ENTRADA PRINCIPAL--NOMBRE DE PERSONA |
|---|
| Nombre de persona |
Bacelar Almeida, José |
| 245 ## - MENCIÓN DEL TÍTULO |
|---|
| Título |
Rigorous software development; |
| Resto del título |
An introduction to program verification / |
| Mención de responsabilidad, etc. |
José Bacelar Almeida et.,al. |
| 260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC. |
|---|
| Lugar de publicación, distribución, etc. |
New York (State) : |
| Nombre del editor, distribuidor, etc. |
Springer, |
| Fecha de publicación, distribución, etc. |
2011 |
| 300 ## - DESCRIPCIÓN FÍSICA |
|---|
| Extensión |
xii,263 p. : |
| Otras características físicas |
il. ; |
| Dimensiones |
16 x 24 cm. |
| 500 ## - NOTA GENERAL |
|---|
| Nota general |
Incluye índice. |
| 505 ## - NOTA DE CONTENIDO CON FORMATO |
|---|
| Nota de contenido con formato |
Introduction. --An overview of formal methods tools and techniques. --Propositional logic. --First-order logic. --Hoare Logic. --Generating verification conditions. --Safety properties. --procedures and contracts. --Specifying C programs. --Verifying C programs. |
| 650 17 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
|---|
| Término de materia o nombre geográfico como elemento de entrada |
INGENIERÍA DE SOFTWARE |
| 650 ## - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
|---|
| Término de materia o nombre geográfico como elemento de entrada |
DISEÑO LÓGICO |
| 650 ## - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
|---|
| Término de materia o nombre geográfico como elemento de entrada |
ÁLGEBRA -- PROCESAMIENTO DE DATOS |
| 700 ## - ENTRADA AGREGADA--NOMBRE PERSONAL |
|---|
| Nombre de persona |
Joao Frade, Maria. Coautora |
| 700 ## - ENTRADA AGREGADA--NOMBRE PERSONAL |
|---|
| Nombre de persona |
Sousa Pinto, Jorge. Coautor |
| 700 ## - ENTRADA AGREGADA--NOMBRE PERSONAL |
|---|
| Nombre de persona |
Melo de Sousa, Simao. Coautor. |