Limit search to available items
Add Marked to Bag Add All On Page Add Marked to My Lists
Call Numbers (1-2 of 2)
005.8 Cre/Osa
1
Book
2012

Operational semantics and verification of security protocols


Cremers, Cas.
Berlin ; New York : Springer, [2012]

Rating:

Request It 
 
Location Call no. Vol. Availability
 MELB  005.8 Cre/Osa  AVAILABLE
 W'PONDS  005.8 Cre/Osa  AVAILABLE
2
Book
2012

Operational semantics and verification of security protocols


Cremers, Cas.
Berlin ; New York : Springer, [2012]

Rating:

Request It 
 
Location Call no. Vol. Availability
 MELB  005.8 Cre/Osa  AVAILABLE
 W'PONDS  005.8 Cre/Osa  AVAILABLE
Add Marked to Bag Add All On Page
Locate in results