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ößeFormat 
WegeFlorian_Design_and_implementation_of_a_verifier_for_sequential_programs.pdf1.54 MBAdobe PDFMiniaturbild
Öffnen/Anzeigen