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

20-06-2026 02:08:10

Access to the deal

-6%

preigu.de

50.25 EUR 53.49 EUR

10-05-2026 02:09:48

Access to the deal

53.49 EUR 53.49 EUR

19-06-2026 18:49:02

Access to the deal