bcs apsg 2013 01 10 jonathan bowen the industrial use of formal methods
Published 8 years ago • 12 plays • Length 1:18:19Download video MP4
Download video MP3
Similar videos
-
1:18:19
bcs apsg 10th january 2013 jonathan bowen - the industrial use of formal methods
-
1:17:42
bcs apsg 9th may 2013 steve furber - programming a million-core machine
-
29:08
alan turing: the founder of computer science - professor jonathan bowen
-
31:45
formal verification made easy (and fast!) - daniel bristot de oliveira, red hat
-
5:09
the microsoft research-inria joint centre: inventing tomorrow's world, today
-
1:21:02
formal modelling, programming and verification of quantum systems | bcs facs group