Prueba de corrección de programas
A

Prueba de corrección de programas

Algoritmos
formal verification Dafny program correctness Hoare logic Floyd logic deductive verification software engineering
Autor
К. Рустан М. Лейно
Editorial
ДМК Пресс
Año
2024
Idioma
Ruso
50
Calificar este libro

Para leer el libro, iniciar sesión / registrarse

Vista previa del fragmento

Libros similares

Introducción a la programación y estructuras de datos

Introducción a la programación y estructuras de datos

Кати Фислер, Шрирам Кришнамурти, Бенджамин С. Лернер, Джо Гиббс Политц

Python. Guía exhaustiva

Python. Guía exhaustiva

Дэвид Бизли

Java con Estilo. Código que Funciona Siempre y en Todas Partes

Java con Estilo. Código que Funciona Siempre y en Todas Partes

Марко Фаэлла

Cómo diseñar programas. Introducción a la programación y la computación

Cómo diseñar programas. Introducción a la programación y la computación

Маттиас Фелляйзен, Роберт Брюс Финдлер, Мэтью Флэтт, Шрирам Кришнамурти

Programación funcional en Python. Guía de desarrollo con ejemplos de la comunidad Stack Overflow

Programación funcional en Python. Guía de desarrollo con ejemplos de la comunidad Stack Overflow

Дэвид Мерц, Л. Клаймен

Lenguaje de programación C

Lenguaje de programación C

Брайан Керниган, Деннис Ритчи

Kotlin. Patrones de diseño y mejores prácticas, 3.ª ed.

Kotlin. Patrones de diseño y mejores prácticas, 3.ª ed.

Алексей Сошин

Métodos de programación en problemas y ejemplos en C/C++

Métodos de programación en problemas y ejemplos en C/C++

В. Д. Валединский, А. А. Корнев

Python. Guía completa

Python. Guía completa

Кольцов Д. М.

Programación deportiva. Nuevo límite inferior de las competiciones de programación.

Programación deportiva. Nuevo límite inferior de las competiciones de programación.

Стивен Халим, Феликс Халим