Katalog der Deutschen Nationalbibliothek

Gesamter Bestand

Musikarchiv

Buchmuseum

Suchformular zurücksetzen

Expertensuche ?

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

Noch nicht die passende Literatur gefunden? → Book a Librarian

Ergebnis der Suche nach: auRef=1198124741
im Bestand: Gesamter Bestand

1 - 10 von 12

	1	A fully verified persistency library Bodenmüller, Stefan. - Augsburg : Universität Augsburg, 2024
	2	Caching, crashing & concurrency - verification under adverse conditions Bodenmüller, Stefan. - Augsburg : Universität Augsburg, 2023
	3	Refinement and separation: modular verification of wandering trees Schellhorn, Gerhard. - Augsburg : Universität Augsburg, 2023
	4	Separating separation logic – modular verification of red-black trees Schellhorn, Gerhard. - Augsburg : Universität Augsburg, 2023
	5	Thread-local, step-local proof obligations for refinement of state-based concurrent systems Schellhorn, Gerhard. - Augsburg : Universität Augsburg, 2023
	6	Software & system verification with KIV Schellhorn, Gerhard. - Augsburg : Universität Augsburg, 2022
	7	Verification of crashsafe caching in a virtual file system switch Bodenmüller, Stefan. - Augsburg : Universität Augsburg, 2022
	8	Flashix: modular verification of a concurrent and crash-safe flash file system Bodenmüller, Stefan. - Augsburg : Universität Augsburg, 2021
	9	Adding concurrency to a sequential refinement tower Schellhorn, Gerhard. - Augsburg : Universität Augsburg, 2020
	10	Modular integration of crashsafe caching into a verified virtual file system switch Bodenmüller, Stefan. - Augsburg : Universität Augsburg, 2020

1 - 10 von 12

Alle Materialarten

Alle Kataloge/Sammlungen

Hochschulschriften (1)

Alle Standorte

Aktionen