A Modular Verification Methodology for Caching and Lock-Based Concurrency in File Systems

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Pfähler, Jörg Michael ca. 20./21. Jh (VerfasserIn)
Format: Abschlussarbeit Buch
Sprache:English
Veröffentlicht: Augsburg 2018
Schlagworte:
Online-Zugang:kostenfrei
kostenfrei
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

MARC

LEADER 00000nam a2200000 c 4500
001 BV045369352
003 DE-604
005 20190125
007 t|
008 181213s2018 xx |||| m||| 00||| eng d
035 |a (DE-599)BVBBV045369352 
040 |a DE-604  |b ger  |e rda 
041 0 |a eng 
049 |a DE-384  |a DE-473  |a DE-703  |a DE-1051  |a DE-824  |a DE-29  |a DE-12  |a DE-91  |a DE-19  |a DE-1049  |a DE-92  |a DE-739  |a DE-898  |a DE-355  |a DE-706  |a DE-20  |a DE-1102  |a DE-860  |a DE-2174 
084 |a ST 175  |0 (DE-625)143603:  |2 rvk 
100 1 |a Pfähler, Jörg Michael  |d ca. 20./21. Jh.  |e Verfasser  |0 (DE-588)117346980X  |4 aut 
245 1 0 |a A Modular Verification Methodology for Caching and Lock-Based Concurrency in File Systems  |c Jörg Michael Pfähler 
264 1 |a Augsburg  |c 2018 
300 |a 203 Seiten  |b Diagramme 
336 |b txt  |2 rdacontent 
337 |b n  |2 rdamedia 
338 |b nc  |2 rdacarrier 
502 |b Dissertation  |c Universität Augsburg  |d 2018 
650 0 7 |a Schrittweise Verfeinerung  |0 (DE-588)4235871-1  |2 gnd  |9 rswk-swf 
650 0 7 |a Formale Spezifikationstechnik  |0 (DE-588)4299725-2  |2 gnd  |9 rswk-swf 
650 0 7 |a Stromausfall  |0 (DE-588)4997345-9  |2 gnd  |9 rswk-swf 
650 0 7 |a Verifikation  |0 (DE-588)4135577-5  |2 gnd  |9 rswk-swf 
650 0 7 |a Dateisystem  |0 (DE-588)4464537-5  |2 gnd  |9 rswk-swf 
650 0 7 |a Nebenläufigkeit  |0 (DE-588)4115352-2  |2 gnd  |9 rswk-swf 
650 0 7 |a Flash-Speicher  |0 (DE-588)4518714-9  |2 gnd  |9 rswk-swf 
655 7 |0 (DE-588)4113937-9  |a Hochschulschrift  |2 gnd-content 
689 0 0 |a Flash-Speicher  |0 (DE-588)4518714-9  |D s 
689 0 1 |a Dateisystem  |0 (DE-588)4464537-5  |D s 
689 0 2 |a Verifikation  |0 (DE-588)4135577-5  |D s 
689 0 3 |a Stromausfall  |0 (DE-588)4997345-9  |D s 
689 0 4 |a Formale Spezifikationstechnik  |0 (DE-588)4299725-2  |D s 
689 0 5 |a Schrittweise Verfeinerung  |0 (DE-588)4235871-1  |D s 
689 0 6 |a Nebenläufigkeit  |0 (DE-588)4115352-2  |D s 
689 0 |5 DE-604 
776 0 8 |i Erscheint auch als  |n Online-Ausgabe  |o urn:nbn:de:bvb:384-opus4-418903 
856 4 1 |u https://nbn-resolving.org/urn:nbn:de:bvb:384-opus4-418903  |x Resolving-System  |z kostenfrei  |3 Volltext 
856 4 1 |u https://opus.bibliothek.uni-augsburg.de/opus4/41890  |x Verlag  |z kostenfrei  |3 Volltext 
912 |a ebook 
943 1 |a oai:aleph.bib-bvb.de:BVB01-030755892 

Datensatz im Suchindex

DE-BY-TUM_katkey 2378317
DE-BY-UBM_katkey 5702993
DE-BY-UBR_katkey 6084581
_version_ 1823056675314073600
any_adam_object
author Pfähler, Jörg Michael ca. 20./21. Jh
author_GND (DE-588)117346980X
author_facet Pfähler, Jörg Michael ca. 20./21. Jh
author_role aut
author_sort Pfähler, Jörg Michael ca. 20./21. Jh
author_variant j m p jm jmp
building Verbundindex
bvnumber BV045369352
classification_rvk ST 175
collection ebook
ctrlnum (DE-599)BVBBV045369352
discipline Informatik
format Thesis
Book
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02240nam a2200493 c 4500</leader><controlfield tag="001">BV045369352</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20190125 </controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">181213s2018 xx |||| m||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV045369352</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-1051</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-1049</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-1102</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-2174</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 175</subfield><subfield code="0">(DE-625)143603:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Pfähler, Jörg Michael</subfield><subfield code="d">ca. 20./21. Jh.</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)117346980X</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">A Modular Verification Methodology for Caching and Lock-Based Concurrency in File Systems</subfield><subfield code="c">Jörg Michael Pfähler</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Augsburg</subfield><subfield code="c">2018</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">203 Seiten</subfield><subfield code="b">Diagramme</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="b">Dissertation</subfield><subfield code="c">Universität Augsburg</subfield><subfield code="d">2018</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Schrittweise Verfeinerung</subfield><subfield code="0">(DE-588)4235871-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Spezifikationstechnik</subfield><subfield code="0">(DE-588)4299725-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Stromausfall</subfield><subfield code="0">(DE-588)4997345-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Dateisystem</subfield><subfield code="0">(DE-588)4464537-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Nebenläufigkeit</subfield><subfield code="0">(DE-588)4115352-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Flash-Speicher</subfield><subfield code="0">(DE-588)4518714-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Flash-Speicher</subfield><subfield code="0">(DE-588)4518714-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Dateisystem</subfield><subfield code="0">(DE-588)4464537-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Stromausfall</subfield><subfield code="0">(DE-588)4997345-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Formale Spezifikationstechnik</subfield><subfield code="0">(DE-588)4299725-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="5"><subfield code="a">Schrittweise Verfeinerung</subfield><subfield code="0">(DE-588)4235871-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="6"><subfield code="a">Nebenläufigkeit</subfield><subfield code="0">(DE-588)4115352-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="o">urn:nbn:de:bvb:384-opus4-418903</subfield></datafield><datafield tag="856" ind1="4" ind2="1"><subfield code="u">https://nbn-resolving.org/urn:nbn:de:bvb:384-opus4-418903</subfield><subfield code="x">Resolving-System</subfield><subfield code="z">kostenfrei</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="1"><subfield code="u">https://opus.bibliothek.uni-augsburg.de/opus4/41890</subfield><subfield code="x">Verlag</subfield><subfield code="z">kostenfrei</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ebook</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-030755892</subfield></datafield></record></collection>
genre (DE-588)4113937-9 Hochschulschrift gnd-content
genre_facet Hochschulschrift
id DE-604.BV045369352
illustrated Not Illustrated
indexdate 2025-02-03T17:57:29Z
institution BVB
language English
oai_aleph_id oai:aleph.bib-bvb.de:BVB01-030755892
open_access_boolean 1
owner DE-384
DE-473
DE-BY-UBG
DE-703
DE-1051
DE-824
DE-29
DE-12
DE-91
DE-BY-TUM
DE-19
DE-BY-UBM
DE-1049
DE-92
DE-739
DE-898
DE-BY-UBR
DE-355
DE-BY-UBR
DE-706
DE-20
DE-1102
DE-860
DE-2174
owner_facet DE-384
DE-473
DE-BY-UBG
DE-703
DE-1051
DE-824
DE-29
DE-12
DE-91
DE-BY-TUM
DE-19
DE-BY-UBM
DE-1049
DE-92
DE-739
DE-898
DE-BY-UBR
DE-355
DE-BY-UBR
DE-706
DE-20
DE-1102
DE-860
DE-2174
physical 203 Seiten Diagramme
psigel ebook
publishDate 2018
publishDateSearch 2018
publishDateSort 2018
record_format marc
spellingShingle Pfähler, Jörg Michael ca. 20./21. Jh
A Modular Verification Methodology for Caching and Lock-Based Concurrency in File Systems
Schrittweise Verfeinerung (DE-588)4235871-1 gnd
Formale Spezifikationstechnik (DE-588)4299725-2 gnd
Stromausfall (DE-588)4997345-9 gnd
Verifikation (DE-588)4135577-5 gnd
Dateisystem (DE-588)4464537-5 gnd
Nebenläufigkeit (DE-588)4115352-2 gnd
Flash-Speicher (DE-588)4518714-9 gnd
subject_GND (DE-588)4235871-1
(DE-588)4299725-2
(DE-588)4997345-9
(DE-588)4135577-5
(DE-588)4464537-5
(DE-588)4115352-2
(DE-588)4518714-9
(DE-588)4113937-9
title A Modular Verification Methodology for Caching and Lock-Based Concurrency in File Systems
title_auth A Modular Verification Methodology for Caching and Lock-Based Concurrency in File Systems
title_exact_search A Modular Verification Methodology for Caching and Lock-Based Concurrency in File Systems
title_full A Modular Verification Methodology for Caching and Lock-Based Concurrency in File Systems Jörg Michael Pfähler
title_fullStr A Modular Verification Methodology for Caching and Lock-Based Concurrency in File Systems Jörg Michael Pfähler
title_full_unstemmed A Modular Verification Methodology for Caching and Lock-Based Concurrency in File Systems Jörg Michael Pfähler
title_short A Modular Verification Methodology for Caching and Lock-Based Concurrency in File Systems
title_sort a modular verification methodology for caching and lock based concurrency in file systems
topic Schrittweise Verfeinerung (DE-588)4235871-1 gnd
Formale Spezifikationstechnik (DE-588)4299725-2 gnd
Stromausfall (DE-588)4997345-9 gnd
Verifikation (DE-588)4135577-5 gnd
Dateisystem (DE-588)4464537-5 gnd
Nebenläufigkeit (DE-588)4115352-2 gnd
Flash-Speicher (DE-588)4518714-9 gnd
topic_facet Schrittweise Verfeinerung
Formale Spezifikationstechnik
Stromausfall
Verifikation
Dateisystem
Nebenläufigkeit
Flash-Speicher
Hochschulschrift
url https://nbn-resolving.org/urn:nbn:de:bvb:384-opus4-418903
https://opus.bibliothek.uni-augsburg.de/opus4/41890
work_keys_str_mv AT pfahlerjorgmichael amodularverificationmethodologyforcachingandlockbasedconcurrencyinfilesystems