Refinement Types : A Tutorial (Foundations and Trends® in Programming Languages)
  • 洋書

Refinement Types : A Tutorial (Foundations and Trends® in Programming Languages)  Paperback,  言語:ENG

Jhala, Ranjit/ Vazou, Niki

  • ウェブストア価格 ¥19,795(本体¥17,996)
  • now publishers Inc(2021/10発売)
  • ポイント 179pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Compiler Construction : 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings (Theoretical Computer Science and General Issue (2013)
  • 洋書

Compiler Construction : 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings (Theoretical Computer Science and General Issue (2013)  Paperback,  言語:ENG

De Bosschere, Koen (EDT)/ Jhala, Ranjit (EDT)

  • ウェブストア価格 ¥10,487(本体¥9,534)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/02発売)
  • ポイント 95pt
  • 海外取次在庫
Programming Languages and Systems : 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering .7705) (2012. 2012. XII, 389 S. 235 mm)
  • 洋書