Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem (Lecture Notes in Computer Science, 1032, Band 1032)

53.49 EUR

Marke: Springer Berlin Heidelberg

ISBN: 3540607617

MPN: 6943845

Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

Gesponsert Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem (Lecture Notes in Computer Science, 1032, Band 1032)

53.49 EUR 53.49 EUR

04-05-2026 00:26:50

Access to the deal

53.49 EUR 53.49 EUR

04-05-2026 00:38:20

Access to the deal