Computer-Aided Verification of Coordinating Processes

172.00 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)

172.00 EUR 172.00 EUR

16-09-2026 04:12:26

Access to the deal