Media type: Book; Commemorative Publication Title: Proof, language, and interaction : essays in honour of Robin Milner Contributor: Plotkin, Gordon [Other]; Milner, Robin [Honoree] Published: Cambridge, Mass.; London: MIT, 2000 Published in: Foundations of computing series Extent: XIV, 720 S; Ill., graph. Darst Language: English ISBN: 0262161885 RVK notation: SS 3132 : ng - ni SE 232 : mg - mi Keywords: Theoretische Informatik Theoretische Informatik > Formale Semantik > Nebenläufigkeit Origination: Footnote: Literaturangaben
Departmental Library DrePunct – stack Shelf-mark: R2016 8 3476 Item ID: 30630710 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order