Unifying Theories of Programming : 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers (Theoretical Computer Science and General Issues) (2015)
  • 洋書

Unifying Theories of Programming : 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers (Theoretical Computer Science and General Issues) (2015)  Paperback,  言語:ENG

Naumann, David (EDT)

  • ウェブストア価格 ¥9,628(本体¥8,753)
  • Springer International Publishing AG(2015/02発売)
  • ポイント 87pt
  • 海外取次在庫
Formal Methods: Foundations and Applications : 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering .7498) (2012. 2012. X, 227 S. 235 mm)
  • 洋書