Computer Aided Verification 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994 : Proceedings - Lecture Notes in Computer Science

Save $15.01

• RRP $72.45
• $57.44

Save $9.72

• RRP $62.06
• $52.34

Save $7.21

• RRP $47.84
• $40.63

Save $13.12

• RRP $65.61
• $52.49

Save $16.21

• RRP $61.51
• $45.30

Save $4.79

• RRP $66.98
• $62.19

Save $18.28

• RRP $76.55
• $58.27

Save $16.67

• RRP $61.51
• $44.84

Save $71.80

• RRP $123.03
• $51.23