Program correctness proof
A

Program correctness proof

Algorithms
formal verification Dafny program correctness Hoare logic Floyd logic deductive verification software engineering
Author
К. Рустан М. Лейно
Publisher
ДМК Пресс
Year
2024
Language
Russian
43
Rate this book

To read the book, log in / register

Preview fragment

Similar books

Introduction to Programming and Data Structures

Introduction to Programming and Data Structures

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

Python. The Definitive Guide

Python. The Definitive Guide

Дэвид Бизли

Stylish Java. Code That Works Always and Everywhere

Stylish Java. Code That Works Always and Everywhere

Марко Фаэлла

How to Design Programs. An Introduction to Programming and Computing

How to Design Programs. An Introduction to Programming and Computing

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

Functional Programming in Python. A Guide to Development with Stack Overflow Community Examples

Functional Programming in Python. A Guide to Development with Stack Overflow Community Examples

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

C Programming Language

C Programming Language

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

Kotlin. Design Patterns and Best Practices, 3rd ed.

Kotlin. Design Patterns and Best Practices, 3rd ed.

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

Programming Methods in Problems and Examples in C/C++

Programming Methods in Problems and Examples in C/C++

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

Python. The Complete Guide

Python. The Complete Guide

Кольцов Д. М.

Competitive Programming. The New Lower Bound of Programming Contests

Competitive Programming. The New Lower Bound of Programming Contests

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