|
|
|
Pi-Calculus : Theory of Mobile Processes by Sangiorgi, Davide | Walker, David. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Cambridge ; CUP ; 2001Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 17 Call number: 681.3 SAN.
|
|
|
|
Trustworthy Global Computing [electronic resource] : International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers / edited by Rocco Nicola, Davide Sangiorgi. by Nicola, Rocco [editor.] | Sangiorgi, Davide [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3705Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|