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
C. Rustan M. Leino
Editorial
DMK Press
Año
2024
Idioma
Ruso
185
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

Cati Fisler, Sriram Krishnamurthi, Benjamin S. Lerner, Joe Gibbs Politz

Python. Guía exhaustiva

Python. Guía exhaustiva

David Beazley

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

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

Marco Faella

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

Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi

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

David Mertz, L. Klyman

Lenguaje de programación C

Lenguaje de programación C

Brian Kernighan, Dennis Ritchie

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

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

Aleksey Soshin

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

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

V. D. Valedinski, A. A. Kornev

Python. Guía completa

Python. Guía completa

Koltsov D. M.

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.

Stephen Halim, Felix Halim