Verifying Concurrent Processes Using Temporal Logic

41.52 EUR 22% Off 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

-22%

Gesponsert Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science, 129, Band 129)

41.52 EUR 53.49 EUR

27-04-2026 19:31:34

Access to the deal

-6%

preigu.de

50.25 EUR 53.49 EUR

27-04-2026 02:10:59

Access to the deal

53.49 EUR 53.49 EUR

27-04-2026 22:15:43

Access to the deal