Atención: recuerde que este es un catálogo parcial de nuestra colección.
Búsqueda por número de registro: 004899
 
 
Libro

The foundations of program verification

Jacques Loeckx and Kurt Sieber, in collaboration with Ryan D. Stansifer.

2nd ed.

Stuttgart : B. G. Teubner ; Chichester [West Sussex] : Wiley, ©1987.

ix, 230 págs. ; 24 cm.

Serie: Wiley-Teubner series in computer science

ISBN: 0471912824 (Wiley), 3519121018 (Teubner)

Bibliografía: p. 222-226.

Reseña: MathSciNet, 90g:68093

 
Registro 004899 · Modificado: 08/05/2017

Explorar índices alfabéticos


Ingrese las primeras letras del autor o título que busca. Omita artículos iniciales en títulos.

Búsquedas por tema: explore la MSC 2000

¿Necesita ayuda?

Si necesita ayuda para encontrar información, puede visitar personalmente la biblioteca, llamarnos por teléfono al 291 459 5116, o enviarnos un mensaje a bibima@criba.edu.ar.

Para solicitar copias de artículos, complete el formulario o escríbanos a pedidos.inmabb@gmail.com

Enlaces surtidos