Reihe Information Security and CryptographyCas Cremers ×Springer Berlin × Operational Semantics and Verification of Security Protocols Cas CremersSpringer BerlinSoftcover201453,45 € Operational Semantics and Verification of Security Protocols Cas CremersSpringer BerlinHardcover201269,54 € Operational Semantics and Verification of Security Protocols Cas CremersSpringer BerlineBook201250,28 €
