A machine-checked proof of correctness of Pastry (Englisch)
Freier Zugriff
Une preve certifiée par la machine de la correction du protocole Pastry.
- Neue Suche nach: Azmy, Noran
- Neue Suche nach: Azmy, Noran
2016
- Hochschulschrift / Elektronische Ressource
-
Titel:A machine-checked proof of correctness of Pastry
-
Untertitel:Une preve certifiée par la machine de la correction du protocole Pastry.
-
Beteiligte:Azmy, Noran ( Autor:in )
-
Hochschulschrift:Dissertation, Université de Lorraine ; 2016
Dissertation, Saarbrücken, Universität des Saarlandes ; 2016 -
Erscheinungsort:Saarbrücken
-
Erscheinungsdatum:2016
-
Format / Umfang:1 Online-Ressource (ix, 121 Seiten)
-
Anmerkungen:Illustrationen
-
Medientyp:Hochschulschrift
-
Format:Elektronische Ressource
-
Sprache:Englisch
- Neue Suche nach: 004
- Weitere Informationen zu Dewey Decimal Classification
-
Schlagwörter:
-
Klassifikation:
DDC: 004 -
Datenquelle: