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

23-04-2026 19:32:53

Access to the deal