Prova de correção de programas
A

Prova de correção de programas

Algoritmos
formal verification Dafny program correctness Hoare logic Floyd logic deductive verification software engineering
Autor
K. Rustan M. Leyno
Editora
DMK Press
Ano
2024
Idioma
Russo
184
Avaliar este livro

Para ler o livro, entrar / registrar

Pré-visualizar fragmento

Livros similares

Introdução à Programação e Estruturas de Dados

Introdução à Programação e Estruturas de Dados

Katy Fiesler, Sriram Krishnamurthy, Benjamin S. Lerner, Joe Gibbs Politz

Python. Guia Completo

Python. Guia Completo

David Bissley

Java Estiloso. Código que Funciona Sempre e em Qualquer Lugar

Java Estiloso. Código que Funciona Sempre e em Qualquer Lugar

Marco Faella

Como Projetar Programas. Introdução à Programação e Computação

Como Projetar Programas. Introdução à Programação e Computação

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

Programação Funcional em Python. Guia de Desenvolvimento com Exemplos da Comunidade Stack Overflow

Programação Funcional em Python. Guia de Desenvolvimento com Exemplos da Comunidade Stack Overflow

David Merz, L. Klymen

Linguagem de programação C

Linguagem de programação C

Brian Kernighan, Dennis Ritchie

Kotlin. Padrões de Projeto e Melhores Práticas, 3ª ed.

Kotlin. Padrões de Projeto e Melhores Práticas, 3ª ed.

Alexei Soshin

Métodos de programação em problemas e exemplos em C/C++

Métodos de programação em problemas e exemplos em C/C++

V. D. Valedinsky, A. A. Kornev

Python. Guia Completo

Python. Guia Completo

Koltsov D. M.

Programação Esportiva. O novo limite inferior das competições de programação.

Programação Esportiva. O novo limite inferior das competições de programação.

Stephen Halim, Felix Halim