Media type: Book; Thesis Title: Über einen Hoare-Kalkül für ALGOL-ähnliche Programmiersprachen mit Prozeduren endlicher Art Contributor: Josko, Bernhard [Author] Published: 1985 Extent: 189 S. Language: German Keywords: Hoare-Logik > Programmiersprache Origination: University thesis: Aachen, Techn. Hochsch., Diss., 1985 Footnote:
Departmental Library DrePunct – stack Shelf-mark: 0891 80151 001 Item ID: 30082979 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order