> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Elektronische Ressource Titel: Mechanized semantics of simple imperative programming constructs Beteiligte: Pfeifer, Holger [VerfasserIn]; Dold, Axel [VerfasserIn]; Henke, Friedrich Wilhelm von [VerfasserIn]; Rueß, Harald [VerfasserIn] Erschienen: Universität Ulm, 2016-03-15T06:22:50Z Sprache: Deutsch DOI: https://doi.org/10.18725/OPARU-1714 Schlagwörter: DDC 004 / Data processing & computer science ; Computer programs. Verification ; Verifix ; Algorithmische Programmierung Entstehung: Anmerkungen: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen. Beschreibung: N/A