Modeling Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems | 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 Modeling Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems
product image
product image
product image
product image

Modeling Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems

160.49 EUR

Ein tiefgreifendes Handbuch, das die Modellierung, Verifikation und Erkundung von Aufgaben­konkurrenz in Echtzeit‑eingebetteten Systemen beleuchtet, neue Analyseansätze vorstellt und praxisnahe Werkzeuge demonstriert.

Marke: Springer US
ISBN: 1461369983
MPN: biography
Gesponsert  Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

Gesponsert Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems

160.49 EUR 160.49 EUR
04-05-2026 13:02:07
Access to the deal

Gesponsert Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems, Fachbücher von Francky Catthoor, Filip Thoen

160.49 EUR 160.49 EUR
04-05-2026 07:37:21
Access to the deal

Ähnliche Produkte

Semantic Methods for Execution-level Business Process Modeling

53.49 EUR
Produkt anzeigen

Formal Modeling and Verification of Cyber-Physical Systems

53.49 EUR
Produkt anzeigen

Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems

117.69 EUR 149.99 EUR
Produkt anzeigen

Hardware/Software Co-Design and Co-Verification

213.99 EUR
Produkt anzeigen