Atención: recuerde que este es un catálogo parcial de nuestra colección.
Búsqueda por código de MSC 2000:
    68Q60 - Specification and verification (program logics, model checking, etc.)
Mostrando 1-5 de 5 resultados, ordenados por

Logic : a foundation for computer science

V. Sperschneider & G. Antoniou.

Wokingham, England : Addison-Wesley, ©1991.

Ubicación:

  • 03
    Sp751

Métodos formais para o desenvolvimento de programas

Paulo S. C. de Alencar e Carlos J. P. de Lucena.

[Ed. preliminar].

Buenos Aires : Kapelusz, [1988]

Ubicación:

  • 68
    Al368
  • Ej. 2:
    68
    Al368

Desenvolvimento sistemático de programas corretos : a abordagem denotacional

por Raul César Baptista Martins, Arnaldo Vieira Moura.

Campinas : [UNICAMP], 1988.

Ubicación:

  • 68
    M386

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.

Ubicación:

  • 68
    L825-2

Proving programs correct

Robert B. Anderson.

New York : Wiley, ©1979.

Ubicación:

  • 68
    An545

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