|
|
Formal Aspects of Security and Trust
by Barthe, Gilles.
Publication:
. X, 279 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Aspects of Security and Trust
by Degano, Pierpaolo.
Publication:
. X, 239 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic based program synthesis and transformation : , 14th international symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004 : revised selected papers /
Publication:
Berlin ; | New York : Springer, 2005
. viii, 277 p. :
24 cm.
Date:2005
Availability:
Copies available:
AUM Main Library
(3),
|
|