Normal view MARC view ISBD view

Modeling, specification and verification of smart contract applications / von Jonas Schiffl

By:

Schiffl, Jonas [VerfasserIn]

Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Publisher: Karlsruhe, [2024?]Description: 1 Online-Ressource (xi, 167 Seiten)Subject(s):

Genre/Form:

Hochschulschrift

DDC classification:

005.82
004

Local classification: Lokale Notation: inf 11Online resources:

Volltext frei verfügbar

Action note:

Archivierung/Langzeitarchivierung gewährleistet DISS

Dissertation note: Dissertation - Karlsruher Institut für Technologie (KIT), 2024 PPN: PPN: 1916502547Package identifier: Produktsigel: GBV-ODiss

Holdings ( 0 )
Title notes ( 1 )

No physical items for this record

Archivierung/Langzeitarchivierung gewährleistet DISS pdager DE-90

Print
Cite
Add to your cart (remove)
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
More searches

Search for this title in:
Karlsruher Virtueller Katalog Bibliotheksportal Karlsruhe Google Scholar Andere Bibliotheken (WorldCat)