SciDok

Eingang zum Volltext in SciDok

Lizenz

Report (Bericht) zugänglich unter
URN: urn:nbn:de:bsz:291-scidok-40200
URL: http://scidok.sulb.uni-saarland.de/volltexte/2011/4020/


A calculus for proving properties of while-programs

Glasner, Ingrid ; Loeckx, Jacques

Quelle: (1978) Saarbrücken, 1978
pdf-Format:
Dokument 1.pdf (5.734 KB)

Bookmark bei Connotea Bookmark bei del.icio.us
Institut: Fachrichtung 6.2 - Informatik
DDC-Sachgruppe: Informatik
Dokumentart: Report (Bericht)
Schriftenreihe: Bericht / A / Fachbereich Angewandte Mathematik und Informatik, Universität des Saarlandes
Bandnummer: 1978/09
Sprache: Englisch
Erstellungsjahr: 1978
Publikationsdatum: 27.07.2011
Kurzfassung auf Englisch:
Lizenz: Standard-Veröffentlichungsvertrag

Home | Impressum | Über SciDok | Policy | Kontakt | Datenschutzerklärung | English