Verifying Concurrent Processes Using Temporal Logic | 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 Verifying Concurrent Processes Using Temporal Logic
product image
product image
product image
product image

Verifying Concurrent Processes Using Temporal Logic

53.49 EUR

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

Gesponsert Verifying Concurrent Processes Using Temporal Logic

53.49 EUR 53.49 EUR
16-09-2026 03:58:41
Access to the deal

Ähnliche Produkte

Verifying Calculations - Forty Years On

53.46 EUR 59.00 EUR
Produkt anzeigen

Software Verification Based on Game Semantics and Process Algebra

79.00 EUR
Produkt anzeigen

Testing and Verifying Web Services

79.00 EUR
Produkt anzeigen

Verifying Treaty Compliance

213.99 EUR
Produkt anzeigen