Mathematical Methods of Specification and Synthesis of Software Systems '85 : Proceedings of the International Spring School, held in Wendisch-Rietz (GDR), April 22-26, 1985 (Mathematical Research 31)
  • 洋書

Mathematical Methods of Specification and Synthesis of Software Systems '85 : Proceedings of the International Spring School, held in Wendisch-Rietz (GDR), April 22-26, 1985 (Mathematical Research 31)

Herausgegeben:Bibel, Wolfgang/Jantke, Klaus P.

  • DE GRUYTER(1986/12発売)
  • ご注文いただけません