Timed Automata as a Verification Tool for Security Protocols | Kaicus Deutschland
All categories
Kaicus
Baby & Kleinkind
Bekleidung & Accessoires
Bürobedarf
Elektronik
Fahrzeuge & Teile
Für Erwachsene
Gesundheit & Schönheit
Heim & Garten
Heimwerkerbedarf
Kameras & Optik
Kunst & Unterhaltung
Medien
Möbel
Nahrungsmittel, Getränke & Tabak
Software
Spielzeuge & Spiele
Sportartikel
Taschen & Gepäck
Tiere & Tierbedarf
Wirtschaft & Industrie
UK España Italia Deutschland France
© 2026, Kaicus - Smart Shopping
All rights reserved
Kaicus Medien Bücher Timed Automata as a Verification Tool for Security Protocols
product image
product image

Timed Automata as a Verification Tool for Security Protocols

49.00 EUR

ISBN: 3844394605
Gesponsert  Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

Gesponsert Timed Automata as a Verification Tool for Security Protocols, Fachbücher von Burcu Külahç

49.00 EUR 49.00 EUR
03-05-2026 09:48:31
Access to the deal

Ähnliche Produkte

Advances in Verification of Time Petri Nets and Timed Automata

152.06 EUR 160.49 EUR
Produkt anzeigen

Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach

160.49 EUR
Produkt anzeigen

The Theory of Timed I/O Automata, Second Edition

32.98 EUR 35.30 EUR
Produkt anzeigen

Model Based Testing for Real-Time Systems

68.00 EUR
Produkt anzeigen