Grundlagen der Programmverifikation: Vorlesung an der Fakultät für Mathematik und Informatik der Universität Leipzig

Description

1 Einleitung, 2 Formale Theorien für Programmiersprachen, 3 HOARE-Logik für while-Programme, 4 Ausblick

Links & Downloads

1. urn:nbn:de:bsz:15-qucosa2-320731
2. https://ul.qucosa.de/id/qucosa%3A32073
3. https://ul.qucosa.de/api/qucosa%3A32073/attachment/ATT-0/

Tags

info:eu-repo/classification/ddc/000

ddc:000

Additional Fields

Identifer	oai:union.ndltd.org:DRESDEN/oai:qucosa:de:qucosa:32073
Date	01 November 2018
Creators	Hartwig, Rolf
Contributors	Universität Leipzig
Source Sets	Hochschulschriftenserver (HSSS) der SLUB Dresden
Language	German
Detected Language	German
Type	doc-type:lecture, info:eu-repo/semantics/lecture, doc-type:Text
Rights	info:eu-repo/semantics/openAccess