Curious about Automated Reasoning with Werner Vogels | Amazon Web Services
3 455
22.1
Amazon Web Services776 тыс
Следующее
15.03.22 – 4 9333:29Популярные
45 дней – 44712:09
Опубликовано 15 марта 2022, 17:24
Dr. Byron Cook is a pioneer in the field of formal verification, and in this video he joins Dr. Werner Vogels, CTO of Amazon.com, as they discuss the current state of formal verification and automated reasoning.
Learn more at bit.ly/3JgeRRo.
Subscribe:
More AWS videos - bit.ly/2O3zS75
More AWS events videos - bit.ly/316g9t4
ABOUT AWS
Amazon Web Services (AWS) is the world’s most comprehensive and broadly adopted cloud platform, offering over 200 fully featured services from data centers globally. Millions of customers — including the fastest-growing startups, largest enterprises, and leading government agencies — are using AWS to lower costs, become more agile, and innovate faster.
#AWS #AmazonWebServices #CloudComputing
Learn more at bit.ly/3JgeRRo.
Subscribe:
More AWS videos - bit.ly/2O3zS75
More AWS events videos - bit.ly/316g9t4
ABOUT AWS
Amazon Web Services (AWS) is the world’s most comprehensive and broadly adopted cloud platform, offering over 200 fully featured services from data centers globally. Millions of customers — including the fastest-growing startups, largest enterprises, and leading government agencies — are using AWS to lower costs, become more agile, and innovate faster.
#AWS #AmazonWebServices #CloudComputing
Свежие видео
3 дня – 2460:24
6 дней – 1 7251:01
9 дней – 1 8905:37
12 дней – 1 5991:24Случайные видео
358 дней – 5 9280:16
15.03.23 – 22 69518:00
01.11.22 – 114 9660:35
08.01.22 – 2 0330:15
28.08.16 – 1 582 1605:15
1 час – 4820:11
2 дня – 977 54718:29
4 дня – 09:52
4 дня – 3971:32
4 дня – 37914:09
4 дня – 321:44
4 дня – 1 3785:55
2 дня – 1 720 4110:39