Bitte benutzen Sie diese Kennung, um auf die Ressource zu verweisen:
http://dx.doi.org/10.25673/6316| Titel: | Design and implementation of a verifier for sequential programs using the Hoare calculus |
| Autor(en): | Wege, Florian |
| Gutachter: | Prof. Dr. phil. Dr. rer. nat. habil. Schenke, Michael |
| Körperschaft: | Hochschule Merseburg |
| Erscheinungsdatum: | 2017 |
| Typ: | Hochschulschrift |
| Art: | Masterarbeit |
| Sprache: | Englisch |
| Herausgeber: | Hochschulbibliothek, Hochschule Merseburg |
| URN: | urn:nbn:de:gbv:542-3555 |
| URI: | https://opendata.uni-halle.de//handle/1981185920/13127 http://dx.doi.org/10.25673/6316 |
| Open-Access: |  Open-Access-Publikation |
| 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 |