Artwork

内容由Galois Inc., Joey Dodds, and Shpat Morina提供。所有播客内容(包括剧集、图形和播客描述)均由 Galois Inc., Joey Dodds, and Shpat Morina 或其播客平台合作伙伴直接上传和提供。如果您认为有人在未经您许可的情况下使用您的受版权保护的作品,您可以按照此处概述的流程进行操作https://zh.player.fm/legal
Player FM -播客应用
使用Player FM应用程序离线!

#1: Jean Yang – "Formal" Methods? How about "Business Casual" Methods? Part 1

29:39
 
分享
 

Manage episode 277678174 series 2824530
内容由Galois Inc., Joey Dodds, and Shpat Morina提供。所有播客内容(包括剧集、图形和播客描述)均由 Galois Inc., Joey Dodds, and Shpat Morina 或其播客平台合作伙伴直接上传和提供。如果您认为有人在未经您许可的情况下使用您的受版权保护的作品,您可以按照此处概述的流程进行操作https://zh.player.fm/legal

Video of this podcast can be found on our Youtube channel.

Jean Yang: https://www.linkedin.com/in/jean-yang-96575030/

Akita Software: https://www.akitasoftware.com/

Galois, Inc.: https://galois.com/

Joey Dodds: https://galois.com/team/joey-dodds/

Shpat Morina: https://galois.com/team/shpat-morina/

Contact us: marketing@galois.com

  continue reading

22集单集

Artwork
icon分享
 
Manage episode 277678174 series 2824530
内容由Galois Inc., Joey Dodds, and Shpat Morina提供。所有播客内容(包括剧集、图形和播客描述)均由 Galois Inc., Joey Dodds, and Shpat Morina 或其播客平台合作伙伴直接上传和提供。如果您认为有人在未经您许可的情况下使用您的受版权保护的作品,您可以按照此处概述的流程进行操作https://zh.player.fm/legal

Video of this podcast can be found on our Youtube channel.

Jean Yang: https://www.linkedin.com/in/jean-yang-96575030/

Akita Software: https://www.akitasoftware.com/

Galois, Inc.: https://galois.com/

Joey Dodds: https://galois.com/team/joey-dodds/

Shpat Morina: https://galois.com/team/shpat-morina/

Contact us: marketing@galois.com

  continue reading

22集单集

所有剧集

×
 
Loading …

欢迎使用Player FM

Player FM正在网上搜索高质量的播客,以便您现在享受。它是最好的播客应用程序,适用于安卓、iPhone和网络。注册以跨设备同步订阅。

 

快速参考指南