Preuve de correction des programmes
A

Preuve de correction des programmes

Algorithmes
formal verification Dafny program correctness Hoare logic Floyd logic deductive verification software engineering
Auteur
K. Roustan M. Leino
Éditeur
DMK Press
Année
2024
Langue
Russe
190
Évaluer ce livre

Pour lire le livre, se connecter / s'inscrire

Aperçu du fragment

Livres similaires

Introduction à la programmation et aux structures de données

Introduction à la programmation et aux structures de données

Cathy Fisler, Shriram Krishnamurthi, Benjamin S. Lerner, Joe Gibbs Politz

Python. Le guide exhaustif

Python. Le guide exhaustif

David Beazley

Java élégant. Code qui fonctionne toujours et partout.

Java élégant. Code qui fonctionne toujours et partout.

Marco Faella

Comment concevoir des programmes. Introduction à la programmation et au calcul informatique

Comment concevoir des programmes. Introduction à la programmation et au calcul informatique

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

Programmation fonctionnelle en Python. Guide de développement avec des exemples de la communauté Stack Overflow

Programmation fonctionnelle en Python. Guide de développement avec des exemples de la communauté Stack Overflow

David Merz, L. Kleiman

Langage de programmation C

Langage de programmation C

Brian Kernighan, Dennis Ritchie

Kotlin. Patrons de conception et meilleures pratiques, 3ᵉ éd.

Kotlin. Patrons de conception et meilleures pratiques, 3ᵉ éd.

Alexei Sochine

Méthodes de programmation dans les problèmes et exemples en C/C++

Méthodes de programmation dans les problèmes et exemples en C/C++

V. D. Valedinsky, A. A. Kornev

Python. Guide complet

Python. Guide complet

D. M. Koltsov

Programmation sportive. Nouvelle limite inférieure des compétitions de programmation.

Programmation sportive. Nouvelle limite inférieure des compétitions de programmation.

Stéphane Halim, Félix Halim