TU Darmstadt / ULB / TUbiblio

A Logic-based Approach to the Formal Description of Data Formats

Hartle, Michael and Botchak, Arsene and Schumann, Daniel and Mühlhäuser, Max (2008):
A Logic-based Approach to the Formal Description of Data Formats.
In: Proceedings of The Fifth International Conference on Preservation of Digital Objects (iPRES 2008), [Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2008
Creators: Hartle, Michael and Botchak, Arsene and Schumann, Daniel and Mühlhäuser, Max
Title: A Logic-based Approach to the Formal Description of Data Formats
Language: German
Title of Book: Proceedings of The Fifth International Conference on Preservation of Digital Objects (iPRES 2008)
Uncontrolled Keywords: - ALW: Digital Lecture Hall (DLH)
Divisions: 20 Department of Computer Science > Telecooperation
20 Department of Computer Science
Date Deposited: 31 Dec 2016 12:59
Identification Number: TUD-CS-2008-1194
Export:
Suche nach Titel in: TUfind oder in Google

Optionen (nur für Redakteure)

View Item View Item