> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book Titel: Relative completeness of a Hoare-calculus for while-programs Beteiligte: Sieber, Kurt [Verfasser:in] Erschienen: Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011 Erschienen in: Bericht ; 1980,1 Umfang: Online-Ressource Sprache: Englisch Identifikator: Entstehung: Anmerkungen: Zugangsstatus: Freier Zugang