Katalog der Deutschen Nationalbibliothek

Springe direkt zu:

Katalog (Beta)

Medien

Online frei zugreifbar
Online frei zugreifbar

Gerhard Schellhorn, Stefan Bodenmüller, Martin Bitterlich u. a.

Separating separation logic – modular verification of red-black trees

Augsburg: Universität Augsburg u. a., 2023

Titel

Separating separation logic – modular verification of red-black trees / Gerhard Schellhorn, Stefan Bodenmüller, Martin Bitterlich, Wolfgang Reif

Beteiligt

Gerhard Schellhorn (Verfasser)
Stefan Bodenmüller (Verfasser)
Martin Bitterlich (Verfasser)
Wolfgang Reif (Verfasser)

Erschienen

Augsburg: Universität Augsburg
Cham: Springer
2023

Umfang

Online-Ressource

Sprache

Englisch

Land

Deutschland

Themen­gebiet

Informatik

DDC-Notation

005.1

Persistent Identifier

urn:nbn:de:bvb:384-opus4-1018172 (URN)
10.1007/978-3-031-25803-9_8 (DOI)

Weitere Angaben

In: Lecture Notes in Computer Science, 13800, S. 129-147

Datensatz-ID

128080520X
Hinweis

Die Betaversion beinhaltet noch nicht alle Funktionen und Informationen des Katalogs des DNB-Portals. Falls Sie Informationen vermissen oder ein Medium bestellen wollen, besuchen Sie bitte die entsprechende Seite im Katalog des DNB-Portals über folgenden Link:

DNB-Portal