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
50.25 EUR 53.49 EUR
27-04-2026 02:10:59