> > > > > timed-automata-as-a-verification-tool-for-security-protocols

Burcu K Lah O Lu - Timed Automata As A Verification Tool For Security Protocols

Het boek Timed Automata As A Verification Tool For Security Protocols van de auteur Burcu K Lah O Lu is 1 maal gevonden, 1 maal nieuw en 0 maal tweedehands. "Timed Automata As A Verification Tool For Security Protocols" is nieuw te koop vanaf € 52,99 bij Bol.com.

Nieuw (1) vanaf € 52,99 bij Bol.com Toon 1 nieuw boek
Bent u de schrijver van dit boek of weet u iets over deze auteur?

Omero.nl is druk bezig om informatie over auteurs toe te voegen. Neem contact met ons op via support@omero.nl om een auteursprofiel aan te maken met een foto, biografie, website adres en sociale media links.
Nieuw
We hebben 1 nieuw boek gevonden
Timed Automata As A Verification Tool For Security Protocols

Type: Paperback
ISBN: 9783844394603
Levertijd: 16

Aanbieder:
€ 52,99
Bekijk boek