Verification of Temporal Properties in Embedded Software | 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 Verification of Temporal Properties in Embedded Software
product image
product image
product image
product image

Verification of Temporal Properties in Embedded Software

69.90 EUR 0% Off 69.99 EUR

Marke: Sudwestdeutscher Verlag Fur Hochschulschriften AG
Gesponsert  Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
-0%

Gesponsert Verification of Temporal Properties in Embedded Software, Fachbücher von Djones Vinicius Lettnin

69.90 EUR 69.99 EUR
29-10-2026 13:59:30
Access to the deal
-0%

Gesponsert Verification of Temporal Properties in Embedded Software: based on Assertion and Semiformal Verification Approaches

69.90 EUR 69.99 EUR
02-11-2026 07:10:28
Access to the deal

Gesponsert Verification of Temporal Properties in Embedded Software

69.99 EUR 69.99 EUR
04-11-2026 05:59:32
Access to the deal

Ähnliche Produkte

Temporal Verification of Reactive Systems: Safety

111.24 EUR
Produkt anzeigen

Advances in Verification of Time Petri Nets and Timed Automata

152.06 EUR
Produkt anzeigen

Specifications and Verifications of Transactions in Mobile Environment

75.04 EUR
Produkt anzeigen

Mechanical Verification of Parameterized Real-Time Systems

81.74 EUR
Produkt anzeigen