Search

Home
New
Top Charts
Search

Computer Science Distinguished Lecture Series

FEBRUARY 16, 2010
53 MIN

Model Checking

Computer Science Distinguished Lecture Series

Information

Show

Computer Science Distinguished Lecture Series
Published

February 16, 2010 at 8:10 PM UTC
Length

53 min

Español (México)
العربية
Русский
简体中文
Français (France)
한국어
Português (Brazil)
Tiếng Việt
繁體中文 (台灣)

Select a country or region

Africa, Middle East, and India

Asia Pacific

Europe

Latin America and the Caribbean

The United States and Canada

Canada (English)
Canada (Français)
United States
Estados Unidos (Español México)
الولايات المتحدة
США
美国 (简体中文)
États-Unis (Français France)
미국
Estados Unidos (Português Brasil)
Hoa Kỳ
美國 (繁體中文台灣)

Copyright © 2026 Apple Inc. All rights reserved.

Internet Service Terms
Apple Podcasts web player & Privacy
Cookie Warning
Support
Feedback

To listen to explicit episodes, sign in.

Stay up to date with this show

Sign in or sign up to follow shows, save episodes, and get the latest updates.

Select a country or region

Africa, Middle East, and India

Asia Pacific

Europe

Latin America and the Caribbean

The United States and Canada

Canada (English)
Canada (Français)
United States
Estados Unidos (Español México)
الولايات المتحدة
США
美国 (简体中文)
États-Unis (Français France)
미국
Estados Unidos (Português Brasil)
Hoa Kỳ
美國 (繁體中文台灣)