Tools and Algorithms for the Construction and Analysis of Systems First International Workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995 : Selected Papers - Lecture Notes in Computer Science

Save $3.60

• RRP $38.85
• $35.25

Save $7.41

• RRP $33.30
• $25.89

Save $15.89

• RRP $73.55
• $57.66

Save $17.75

• RRP $66.61
• $48.86

Save $26.05

• RRP $77.71
• $51.66

Save $3.75

• RRP $63.83
• $60.08

Save $0.56

• RRP $73.55
• $72.99

• $28.12

• $30.97