Behavioural types : from theory to tools /

類似資料

• Types and programming languages
  著者:: Pierce, Benjamin C.
  出版事項: (2002)
• Abstact data types /
  著者:: Dale, Nell
  出版事項: (1996)
• Getting started with SBT for Scala : equip yourself with a high-productivity work environment using SBT, a build tool for Scala /
  著者:: Saxena, Shiti
  出版事項: (2013)
• Programming systems and languages.
  著者:: Rosen, Saul
  出版事項: (1967)
• Software engineering (a lifecycle approach) /
  著者:: Mohapatra, Pratap K. J.
  出版事項: (2010)