Preis von
49.00 EUR
49.00 EUR
Timed Automata as a Verification Tool for Security Protocols: An Analysis on a Case Study
Geschäfte, in denen Sie dieses Produkt kaufen können
Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
GesponsertTimed Automata as a Verification Tool for Security Protocols, Fachbücher von Burcu Külahç
Günstigstes Angebot
| Dieses Produkt im Comparor | |
|---|---|
|
Kategorie
Dieses Produkt ist in unserem Shop in diesen Kategorien in unserem Shop katalogisiert
|
- Bücher über Programmierung und Softwareentwicklung - Ingenieurbücher - Informatik |
|
International
Finden Sie dieses Produkt in einem unserer internationalen Geschäfte
|
Dieses Produkt wurde in anderen Ländern nicht gefunden
|
| Farben
Vorherrschende Farben des Produkts |
|
| Bezeichner | |
| ISBN | 3844394605 |
| ID | 13590983 |
| Abmessungen / Gewicht | |
| Hauptmerkmale | |
Related zusammenhängen
Springer Berlin Heidelberg (9783642069420 / biography)
(9783540328698 / 124 black & white illustrations, 124 bla)
