> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch; Festschrift Titel: Proof, language, and interaction : essays in honour of Robin Milner Beteiligte: Plotkin, Gordon [Sonstige Person, Familie und Körperschaft]; Milner, Robin [Gefeierte:r] Erschienen: Cambridge, Mass.; London: MIT, 2000 Erschienen in: Foundations of computing series Umfang: XIV, 720 S; Ill., graph. Darst Sprache: Englisch ISBN: 0262161885 RVK-Notation: SS 3132 : ng - ni SE 232 : mg - mi Schlagwörter: Theoretische Informatik Theoretische Informatik > Formale Semantik > Nebenläufigkeit Entstehung: Anmerkungen: Literaturangaben
Bereichsbibliothek DrePunct – Magazin Signatur: R2016 8 3476 Barcode: 30630710 Status: Ausleihbar, bitte bestellen > Bestellen möglich - bitte anmelden Bereitstellung voraussichtlich: 1 - 2 Tage nach Bestellung