Media type: Book; Conference Proceedings Title: Mathematical studies of information processing : proceedings of the international conference, Kyoto, Japan, August 23 - 26, 1978 Contributor: Blum, Edward K. [Editor] Event: International Conference on Mathematical Studies of Information Processing Published: Berlin; Heidelberg [u.a.]: Springer, 1979 Published in: Lecture notes in computer science ; 75 Extent: VIII, 629 S.; graph. Darst Language: English ISBN: 3540095411; 0387095411 RVK notation: ST 140 : Semantik von Programmiersprachen ST 130 : Allgemeines SS 4800 : Lecture notes in computer science Keywords: Programmierung Informationsverarbeitung Softwarespezifikation Informationsverarbeitung Programmverifikation Origination: Footnote: Literaturangaben
Departmental Library DrePunct – stack Shelf-mark: 93 8 32237 001 Item ID: 10015481 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order