Media type: Book; Conference Proceedings Title: Unifying theories of programming : Second International Symposium, UTP 2008, Dublin, Ireland, September 8 - 10, 2008; revised selected papers Contributor: Butterfield, Andrew [Other] Event: UTP imprint: Berlin; Heidelberg: Springer, 2010 Published in: Lecture notes in computer science ; 5713 Extent: IX, 279 S. Language: English ISBN: 9783642145209; 3642145205 Publisher, production or purchase order numbers: Sonstige Nummer: 80018338 RVK notation: SS 4800 : Lecture notes in computer science Keywords: Programmierung > Unifikationstheorie Origination: Footnote: Literaturangaben
Departmental Library DrePunct – stack Shelf-mark: R2017 8 411 Item ID: 32896315 Status: Loanable, place order > Ordering possible ‒ please log in