Protocols, Strands, and Logic : Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday

Protocols, Strands, and Logic Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday

Gespeichert in:
Bibliographische Detailangaben
Weitere Verfasser: Dougherty, Daniel (HerausgeberIn), Meseguer, José (HerausgeberIn), Mödersheim, Sebastian (HerausgeberIn), Rowe, Paul (HerausgeberIn), Guttman, Joshua (GefeierteR)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Cham Springer 2021
Schriftenreihe:Lecture notes in computer science 13066
Schlagworte:
Festschrift > Kryptologie > Protokoll > Formale Methode > Quantencomputer
Online Zugang:Inhaltsverzeichnis
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:x, 424 Seiten
Illustrationen, Diagramme
ISBN:9783030916305
978-3-030-91630-5