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
К. Рустан М. Лейно
Éditeur
ДМК Пресс
Année
2024
Langue
Russe
49
É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

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

Python. Le guide exhaustif

Python. Le guide exhaustif

Дэвид Бизли

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

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

Марко Фаэлла

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

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

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

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

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

Langage de programmation C

Langage de programmation C

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

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

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

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

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++

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

Python. Guide complet

Python. Guide complet

Кольцов Д. М.

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

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

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