|
|
|
|
|
|
|
Foundations for programming languages by Mitchell, John C. Series: Foundations of ComputingMaterial type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Cambridge ; MIT Press ; 1996Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 11 Call number: 681.3 MIT.
|
|
|
|
Concepts in programming languages by Mitchell, John C. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: UK ; Cambridge University Press ; 2003Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 50, Shelf No: 19 Call number: 681.9 MIT.
|
|
|
|
|
|
|
|
Principles of Security and Trust [electronic resource] : Second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings / edited by David Basin, John C. Mitchell. by Basin, David [editor.] | Mitchell, John C [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7796Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|