The Fundamental Research for Trustworthy Software (Reports of China's Basic Research)
  • 洋書
  • ポイントキャンペーン

The Fundamental Research for Trustworthy Software (Reports of China's Basic Research)  Paperback,  言語:ENG

He, Jifeng (EDT)

  • ウェブストア価格 ¥34,369(本体¥31,245)
  • Springer Verlag, Singapore(2024/11発売)
  • ポイント 1,560pt
  • 海外からお取り寄せ(通常6~9週間)
The Fundamental Research for Trustworthy Software (Reports of China's Basic Research)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

The Fundamental Research for Trustworthy Software (Reports of China's Basic Research)  Hardcover,  言語:ENG

He, Jifeng (EDT)

  • ウェブストア価格 ¥35,366(本体¥32,151)
  • Springer Verlag, Singapore(2024/01発売)
  • ポイント 1,605pt
  • 海外取次在庫
Mathematical Frameworks for Component Software: Models for Analysis and Synthesis (Series on Component-based Software Development)
  • 洋書
  • ポイントキャンペーン

Mathematical Frameworks for Component Software: Models for Analysis and Synthesis (Series on Component-based Software Development)  Hardcover,  言語:ENG

Liu, Zhiming (EDT)/ He, Jifeng (EDT)

  • ウェブストア価格 ¥37,579(本体¥34,163)
  • World Scientific Publishing Co Pte Ltd(2006/12発売)
  • ポイント 1,705pt
  • 海外からお取り寄せ(通常6~9週間)
Formal Methods and Software Engineering : 8th International Conference, ICFEM 2006, Macao, Proceedings (Lecture Notes in Computer Science) 〈Vol. 4260〉
  • 洋書
  • ポイントキャンペーン

Formal Methods and Software Engineering : 8th International Conference, ICFEM 2006, Macao, Proceedings (Lecture Notes in Computer Science) 〈Vol. 4260〉  Paperback,  言語:ENG

Liu, Zhiming (EDT)/ He, Jifeng (EDT)

  • ウェブストア価格 ¥24,313(本体¥22,103)
  • Springer(2007/01発売)
  • ポイント 1,105pt
  • 海外取次在庫
Grundlagenforschung für vertrauenswürdige Software (2024)
  • 洋書
  • ポイントキャンペーン

Grundlagenforschung für vertrauenswürdige Software (2024)  Hardcover,  言語:GER

He, Jifeng (EDT)

  • Springer Vieweg(2025/03発売)
  • ご注文いただけません
BCS-FACS 7th Refinement Workshop : Proceedings of the BCS-FACS 7th Refinement Workshop, Bath, 3-5 July 1996 (Electronic Workshops in Computing)
  • 洋書
  • ポイントキャンペーン

BCS-FACS 7th Refinement Workshop : Proceedings of the BCS-FACS 7th Refinement Workshop, Bath, 3-5 July 1996 (Electronic Workshops in Computing)  Paperback,  言語:ENG

He Jifeng (EDT)/ etc. (EDT)

  • ウェブストア価格 ¥8,998(本体¥8,180)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(1996/11発売)
  • ポイント 405pt
  • 海外からお取り寄せ(通常6~9週間)