Korrektheitsbeweis von Programmen
A

Korrektheitsbeweis von Programmen

Algorithmen
formal verification Dafny program correctness Hoare logic Floyd logic deductive verification software engineering
Autor
К. Рустан М. Лейно
Verlag
ДМК Пресс
Jahr
2024
Sprache
Russisch
41
Dieses Buch bewerten

Zum Lesen des Buches, Anmelden / Registrieren

Vorschau des Fragments

Ähnliche Bücher

Einführung in Programmierung und Datenstrukturen

Einführung in Programmierung und Datenstrukturen

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

Python. Das umfassende Handbuch

Python. Das umfassende Handbuch

Дэвид Бизли

Stilvolles Java. Code, der immer und überall funktioniert.

Stilvolles Java. Code, der immer und überall funktioniert.

Марко Фаэлла

How to Design Programs. Einführung in Programmierung und Computerberechnungen

How to Design Programs. Einführung in Programmierung und Computerberechnungen

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

Funktionale Programmierung mit Python. Ein Entwicklungsleitfaden anhand von Beispielen aus der Stack Overflow Community

Funktionale Programmierung mit Python. Ein Entwicklungsleitfaden anhand von Beispielen aus der Stack Overflow Community

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

Die Programmiersprache C

Die Programmiersprache C

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

Kotlin. Entwurfsmuster und Best Practices, 3. Aufl.

Kotlin. Entwurfsmuster und Best Practices, 3. Aufl.

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

Programmiermethoden in Aufgaben und Beispielen mit C/C++

Programmiermethoden in Aufgaben und Beispielen mit C/C++

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

Python. Das vollständige Handbuch

Python. Das vollständige Handbuch

Кольцов Д. М.

Sportprogrammierung. Die neue Untergrenze von Programmierwettbewerben.

Sportprogrammierung. Die neue Untergrenze von Programmierwettbewerben.

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