HyLib 整合性圖書館自動化系統
借閱次數: 0

Coalgebraic methods in computer science 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014 : revised selected papers /

  • 作者:edited by Marcello M. Bonsangue.
  • 出版者:Springer Berlin Heidelberg : Imprint: Springer
  • 出版地:Berlin, Heidelberg :
  • 語文:英語
  • 叢書名:Lecture notes in computer science,
  • 電子資源:http://dx.doi.org/10.1007/978-3-662-44124-4
  • ISBN/ISSN/ISRC:9783662441244 (electronic bk.) ; 9783662441237 (paper)
  • 作者:Bonsangue, Marcello M.
  • 索書號:004.0151