Computer-Aided Verification of Coordinating Processes | 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 Computer-Aided Verification of Coordinating Processes
product image
product image

Computer-Aided Verification of Coordinating Processes

116.40 EUR

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

Gesponsert Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach (Princeton Legacy Library)

116.40 EUR 116.40 EUR
11-06-2026 17:07:14
Access to the deal

Ähnliche Produkte

Computer Aided Verification

105.94 EUR 106.99 EUR
Produkt anzeigen

Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I (Lecture Notes in Computer Science, 12759, Band 12759)

42.79 EUR
Produkt anzeigen

Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I (Lecture Notes in Computer Science, Band 12224)

42.79 EUR
Produkt anzeigen

Computer-aided Verification: A Special Issue of Formal Methods In System Design on Computer-Aided Verification

149.84 EUR 160.49 EUR
Produkt anzeigen