Computer-aided Verification
Наличност:
50% вероятност
Ще претърсим света
174.46
€
341.22 лв
Contains the proceedings of the second workshop on Computer-Aided Verification, held at DIMACS at Ru...
