THELIB
Reglas de categoría Reglas Iniciar sesión
  • Libros
  • Etiqueta: program verification

Libros — program verification

RU
Lógica y computadora: Modelado del razonamiento y verificación de la corrección de programas

Lógica y computadora: Modelado del razonamiento y verificación de la corrección de programas

A

Н.А. Алешина, А.М. Анисов, П.И. Быстров, И.А. Герасимова, В.С. Меськов, Н.Н. Непейвода, В.А. Смирнов, В.Н. Стеблецова, В.И. Шалак

IA y ML
EN
Principios de programación de computadoras: Un enfoque matemático

Principios de programación de computadoras: Un enfoque matemático

A

Harlan D. Mills, Victor R. Basili, John D. Gannon, Richard D. Hamlet

Otro
THELIB

Biblioteca de libros de TI con traducción a 8 idiomas.

Catálogo

  • Libros
  • Categorías
  • Reglas
  • Acuerdo

Cuenta

  • Registrarse
  • Iniciar sesión
  • Soporte

Información

  • thelib.cc
  • v0.1
© 2026 THELIB 8 idiomas · Traducción con IA al instante