Automatic Verification Methods for Finite State Systems International Workshop, Grenoble, France, June 12-14, 1989 : Proceedings - Lecture Notes in Computer Science

Save $2.13

• RRP $30.08
• $27.95

• $47.11

Save $7.83

• RRP $60.14
• $52.31

Save $2.08

• RRP $27.33
• $25.25

Save $14.74

• RRP $40.98
• $26.24

Save $8.58

• RRP $49.21
• $40.63

• $62.45

Save $12.75

• RRP $102.53
• $89.78

Save $1.90

• RRP $57.35
• $55.45

• $43.24