ResearchChannel - TechFest 2007 - Automatically Proving Concurrent Programs Correct
  Programs A to Z Premieres Webcast Schedule Where to Watch Contact Us Help
      Learn How to Watch ResearchChannel  
Programming Home > TechFest 2007 >

TechFest 2007 - Automatically Proving Concurrent Programs Correct

Multimedia Presentation Launch Presentation
 
Share this video —
 
From the Series:
TechFest 2007
Produced:
03/08/2007

Description: 
Automatically Proving Concurrent Programs Correct

Speaker(s):
Dr. Byron Cook, researcher, Microsoft's laboratory, Cambridge University

Runtime:0:42:35

Rating:TV-G

Explore our more than 3,500 titles available online —
Arts and Humanities | Business and Economics | Computer Science and Engineering
Health and Medicine | K-12 and Education | Sciences | Social Sciences
-or-
Browse by Program Title | Browse by Series Title | Browse by University/Institution
 
Fibromyalgia An Update on Fibromyalgia

Milton Masciadri Inside Stories: Milton Masciadri

Dr. Paul Farmer Building a Community-based Health Care Movement

Sign up now for our monthly newsletter,
Think Forward!
Name:   
Email:   

 
Home | About ResearchChannel | Retransmission | Terms of Use | Privacy Policy | Contact Us

Copyright © 2009 ResearchChannel. All Rights Reserved.