Partial-Order Methods for the Verification of Concurrent Systems An Approach to the State-Explosion Problem - Lecture Notes in Computer Science

Save $10.65

• RRP $70.56
• $59.91

Save $19.90

• RRP $86.85
• $66.95

Save $17.67

• RRP $65.13
• $47.46

Save $7.86

• RRP $93.58
• $85.72

Save $5.25

• RRP $29.45
• $24.20

Save $21.07

• RRP $86.85
• $65.78

Save $62.19

• RRP $77.35
• $15.16

Save $3.65

• RRP $70.56
• $66.91

Save $5.40

• RRP $66.49
• $61.09

Save $3.43

• RRP $61.06
• $57.63