Sökning: onr:12417197 > Equivalences and Ca...
- 1 av 1
- Föregående post
- Nästa post
- Till träfflistan
Equivalences and Calculi for Formal Verification of Cryptographic Protocols / Johannes Borgström
- Borgström, Johannes (författare)
- Lausanne : EPFL, 2008
- Engelska 174 s.
- BokAvhandling(Diss. Uppsala : Uppsala universitet, 2008)
Inga andra utgåvor av "Equivalences and Calculi for Formal Verification of Cryptographic Protocols" hittades
- 1 av 1
- Föregående post
- Nästa post
- Till träfflistan
Sök vidare
Hjälp
- Fler titlar av
- Borgström, Johannes
Sök utanför LIBRIS
Hjälp
- Sök vidare i:
- Google Book Search
- Google Scholar
- LibraryThing
Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.
Copyright © LIBRIS - Nationella bibliotekssystem
