A Rewriting Logic Sampler
Рет қаралды 1,183
Күн бұрын
@BlueJersey112 7 жыл бұрын
It would be great if this presentation was uploaded in 360p or 720p so the slides can actually be read.
@xmannyh 7 жыл бұрын
I had to double check to make sure it wasn't uploaded 20 years ago...
@akshaypuradkar1568 7 жыл бұрын
when it came to keeping up with modernity, i gave up on MS after vista. ;) there is a paper by the same name though.
ACM SIGPLAN
Рет қаралды 151
НТК Show
Рет қаралды 611 М.
Nikita Zdradovskiy
Рет қаралды 5 МЛН
FloatHeadPhysics
Рет қаралды 4,2 МЛН
Agile on the Beach
Рет қаралды 446 М.
Causal Data Science Meeting
Рет қаралды 586
BBC World Service
Рет қаралды 942 М.