Media type: Book; Conference Proceedings Title: Program specification : proceedings of a Workshop, Aarhus, Denmark, August 1981 Contributor: Staunstrup, Jørgen [Hrsg.] Event: Workshop on Program Specification imprint: Berlin; Heidelberg [u.a.]: Springer, 1982 Published in: Lecture notes in computer science ; 134 Extent: IV, 426 S; graph. Darst Language: English ISBN: 0387114904; 3540114904 RVK notation: SS 4800 : Lecture notes in computer science Keywords: Programmierung Softwarespezifikation Origination: Footnote: Literaturangaben
Departmental Library DrePunct – stack Shelf-mark: 0882 80338 001 Item ID: 10015541 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order