> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch; Hochschulschrift Titel: Weakest relative precondition semantics : balancing approved theory and realistic translation verification Beteiligte: Wolf, Andreas [VerfasserIn] Erschienen: Kiel: Inst. für Informatik und Praktische Mathematik, 2001 Erschienen in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 2013 Umfang: VI, 197 S. Sprache: Englisch Schlagwörter: Hochschulschrift Entstehung: Hochschulschrift: Zugl.: Kiel, Univ., Diss., 2001 Anmerkungen: Weitere Bestandsnachweise 0 : Bericht