DaftarIsitemplate
Call Number
004 Pro
Title
Proof, language and interaction: essays in honour of Robin Milner/edited by Gordon Plotkin, Colin Stirling
Author
Publisher
London, England The MIT Press 2000
Subject
Computer science
Location
FASILKOM-UI;