Bitte benutzen Sie diese Kennung, um auf die Ressource zu verweisen:
http://dx.doi.org/10.25673/6316Langanzeige der Metadaten
| DC Element | Wert | Sprache |
|---|---|---|
| dc.contributor.referee | Prof. Dr. phil. Dr. rer. nat. habil. Schenke, Michael | |
| dc.contributor.author | Wege, Florian | |
| dc.date.accessioned | 2018-09-24T19:12:36Z | - |
| dc.date.available | 2018-09-24T19:12:36Z | - |
| dc.date.issued | 2017 | |
| dc.identifier.uri | https://opendata.uni-halle.de//handle/1981185920/13127 | - |
| dc.identifier.uri | http://dx.doi.org/10.25673/6316 | - |
| dc.language.iso | eng | |
| dc.publisher | Hochschulbibliothek, Hochschule Merseburg | |
| dc.subject.ddc | 005 | - |
| dc.title | Design and implementation of a verifier for sequential programs using the Hoare calculus | |
| dcterms.type | Hochschulschrift | |
| dc.type | Master Thesis | |
| dc.identifier.urn | urn:nbn:de:gbv:542-3555 | |
| local.publisher.universityOrInstitution | Hochschule Merseburg | |
| local.openaccess | true | - |
| Enthalten in den Sammlungen: | Informatik und Kommunikationssysteme | |
Dateien zu dieser Ressource:
| Datei | Beschreibung | Größe | Format | |
|---|---|---|---|---|
| WegeFlorian_Design_and_implementation_of_a_verifier_for_sequential_programs.pdf | 1.54 MB | Adobe PDF |  Öffnen/Anzeigen |