Computer-aided Verification
Szerző:
American Mathem American Mathem
Elérhetőség:
50 % esély
Keressük az egész világon
61 885
Ft
Contains the proceedings of the second workshop on Computer-Aided Verification, held at DIMACS at Ru...
