Hoppa till sidans huvudinnehåll

Cas Cremers - Böcker

Visar alla böcker från författaren Cas Cremers.
4 produkter
Del 11322 - Lecture Notes in Computer Science

Security Standardisation Research

4th International Conference, SSR 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings

AvCas Cremers,Anja Lehmann

Häftad, Engelska, 2018

719 kr

Skickas inom 10-15 vardagar

Modeling and Analyzing Security Protocols with Tamarin

A Comprehensive Guide

AvDavid Basin,Cas Cremersm. fl.

Inbunden, Engelska, 2025

789 kr

Skickas inom 10-15 vardagar

Operational Semantics and Verification of Security Protocols

AvCas Cremers,Sjouke Mauw

Inbunden, Engelska, 2012

929 kr

Skickas inom 10-15 vardagar

Operational Semantics and Verification of Security Protocols

AvCas Cremers,Sjouke Mauw

Häftad, Engelska, 2014

719 kr

Skickas inom 10-15 vardagar