Model checking trace-based information flow properties | 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 Model checking trace-based information flow properties
product image
product image
product image
product image

Model checking trace-based information flow properties

49.00 EUR

Marke: LAP Lambert Academic Publishing
Gesponsert  Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

Gesponsert Model checking trace-based information flow properties, Fachbücher von Deepak D'Souza, Barbara Sprick, Raghavendra Kagalavadi Ramesh

49.00 EUR 49.00 EUR
12-06-2026 23:02:09
Access to the deal

Ähnliche Produkte

25 Years of Model Checking: History, Achievements, Perspectives

37.44 EUR
Produkt anzeigen

Carmona, Josep: Conformance Checking

90.94 EUR
Produkt anzeigen

Model Checking Software: 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings

53.49 EUR
Produkt anzeigen

Automated Verification of Dynamic Access Control Policies

68.00 EUR
Produkt anzeigen