Korrektheitsbeweis von Programmen
A

Korrektheitsbeweis von Programmen

Algorithmen
formal verification Dafny program correctness Hoare logic Floyd logic deductive verification software engineering
Autor
K. Roustan M. Leino
Verlag
DMK Press
Jahr
2024
Sprache
Russisch
182
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

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

Python. Das umfassende Handbuch

Python. Das umfassende Handbuch

David Beasley

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

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

Marco Faella

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

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

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

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

David Merz, L. Klymen

Die Programmiersprache C

Die Programmiersprache C

Brian Kernighan, Dennis Ritchie

Kotlin. Entwurfsmuster und Best Practices, 3. Aufl.

Kotlin. Entwurfsmuster und Best Practices, 3. Aufl.

Alexei Soshin

Programmiermethoden in Aufgaben und Beispielen mit C/C++

Programmiermethoden in Aufgaben und Beispielen mit C/C++

W. D. Waledinski, A. A. Kornew

Python. Das vollständige Handbuch

Python. Das vollständige Handbuch

Kolzow D. M.

Sportprogrammierung. Die neue Untergrenze von Programmierwettbewerben.

Sportprogrammierung. Die neue Untergrenze von Programmierwettbewerben.

Steven Halim, Felix Halim