Automated Specification and Verification of Web Systems Selected Papers from the 2nd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'06) ; Special Track of the 2nd Biennial Int'l. Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2006) : November 19, 2006, Paphos, Cyprus

• $29.15

• $24.69

Save $1.71

• RRP $24.97
• $23.26

• $14.84

• $16.71

• $20.96

• $23.85

• $15.25

• $21.89

Save $1.41

• RRP $20.81
• $19.40

Save $1.82

• RRP $20.81
• $18.99

Save $3.90

• RRP $23.58
• $19.68

• $15.35

Save $0.05

• RRP $13.87
• $13.82

Save $10.19

• RRP $34.70
• $24.51

• $30.17

Save $0.73

• RRP $13.87
• $13.14

• $15.00

• $14.07

• $27.76

• $30.54

• $23.23