Artwork

เนื้อหาจัดทำโดย Elixir em Foco เนื้อหาพอดแคสต์ทั้งหมด รวมถึงตอน กราฟิก และคำอธิบายพอดแคสต์ได้รับการอัปโหลดและจัดหาให้โดยตรงจาก Elixir em Foco หรือพันธมิตรแพลตฟอร์มพอดแคสต์ของพวกเขา หากคุณเชื่อว่ามีบุคคลอื่นใช้งานที่มีลิขสิทธิ์ของคุณโดยไม่ได้รับอนุญาต คุณสามารถปฏิบัติตามขั้นตอนที่แสดงไว้ที่นี่ https://th.player.fm/legal
Player FM - แอป Podcast
ออฟไลน์ด้วยแอป Player FM !

21. TLA+ e Elixir com Gabriela Moreira, Engenheira de Pesquisa na Informal Systems, Mestre em Computação pela UDESC

55:34
 
แบ่งปัน
 

Manage episode 349205771 series 3276616
เนื้อหาจัดทำโดย Elixir em Foco เนื้อหาพอดแคสต์ทั้งหมด รวมถึงตอน กราฟิก และคำอธิบายพอดแคสต์ได้รับการอัปโหลดและจัดหาให้โดยตรงจาก Elixir em Foco หรือพันธมิตรแพลตฟอร์มพอดแคสต์ของพวกเขา หากคุณเชื่อว่ามีบุคคลอื่นใช้งานที่มีลิขสิทธิ์ของคุณโดยไม่ได้รับอนุญาต คุณสามารถปฏิบัติตามขั้นตอนที่แสดงไว้ที่นี่ https://th.player.fm/legal

Neste episódio conversamos com Gabriela Moreira, Engenheira de Pesquisa na Informal Systems, Mestre em Computação pela UDESC.

Links Gabriela:

Assista a esta entrevista no YouTube em https://www.youtube.com/@ElixirEmFoco

Ela conversou conosco sobre:

  • o que é TLA+
  • como foram feitos seus trabalhos que juntaram TLA+ e Elixir
  • como é trabalhar como Engenheira de Pesquisa
  • como foi fazer mestrado

Links:

Associe-se à Erlang Ecosystem Foundation em https://bit.ly/3Sl8XTO. O site da fundação é https://bit.ly/3Jma95g.

Nosso site é https://elixiremfoco.com. Estamos no Twitter em @elixiremfoco https://twitter.com/elixiremfoco. Nosso email é [email protected].

  continue reading

66 ตอน

Artwork
iconแบ่งปัน
 
Manage episode 349205771 series 3276616
เนื้อหาจัดทำโดย Elixir em Foco เนื้อหาพอดแคสต์ทั้งหมด รวมถึงตอน กราฟิก และคำอธิบายพอดแคสต์ได้รับการอัปโหลดและจัดหาให้โดยตรงจาก Elixir em Foco หรือพันธมิตรแพลตฟอร์มพอดแคสต์ของพวกเขา หากคุณเชื่อว่ามีบุคคลอื่นใช้งานที่มีลิขสิทธิ์ของคุณโดยไม่ได้รับอนุญาต คุณสามารถปฏิบัติตามขั้นตอนที่แสดงไว้ที่นี่ https://th.player.fm/legal

Neste episódio conversamos com Gabriela Moreira, Engenheira de Pesquisa na Informal Systems, Mestre em Computação pela UDESC.

Links Gabriela:

Assista a esta entrevista no YouTube em https://www.youtube.com/@ElixirEmFoco

Ela conversou conosco sobre:

  • o que é TLA+
  • como foram feitos seus trabalhos que juntaram TLA+ e Elixir
  • como é trabalhar como Engenheira de Pesquisa
  • como foi fazer mestrado

Links:

Associe-se à Erlang Ecosystem Foundation em https://bit.ly/3Sl8XTO. O site da fundação é https://bit.ly/3Jma95g.

Nosso site é https://elixiremfoco.com. Estamos no Twitter em @elixiremfoco https://twitter.com/elixiremfoco. Nosso email é [email protected].

  continue reading

66 ตอน

ทุกตอน

×
 
Loading …

ขอต้อนรับสู่ Player FM!

Player FM กำลังหาเว็บ

 

คู่มืออ้างอิงด่วน

ฟังรายการนี้ในขณะที่คุณสำรวจ
เล่น