hintergrundbild
logo
logo
Suchfeld einblenden
ISBN / EAN
Nachname
Vorname
Titel
Reihe
Schlagwort
und   oder
Index
Verlag
Ersch.-Jahr
bis
Katalog
Rezensent
Person Cremers, Cas
1 Treffer
Seite < 1 >
Cover

Cremers, Cas: Operational semantics and verification of security protocols

/ Cas Cremers ; Sjouke Mauw. - Heidelberg : Springer, 2012. - XIII, 172 S.; 24 cm - (Information security and cryptography)

ISBN 978-3-540-78635-1 Pp. : ca. EUR 53.45 (freier Pr.)

Literaturangaben

Quelle: DNB Verlagsmeldungen

Seite < 1 >
Projekte . Kooperationen