Rigorous Software Development : An Introduction to Program Verification (Undergraduate Topics in Computer Science) (2ND)
  • 洋書
  • 予約

Rigorous Software Development : An Introduction to Program Verification (Undergraduate Topics in Computer Science) (2ND)  Paperback,  言語:ENG

Almeida, José Bacelar/ Frade, Maria João/ Pinto, Jorge Sousa

  • ウェブストア価格 ¥25,172(本体¥22,884)
  • Springer London Ltd(2025/09発売)
  • ポイント 228pt
  • ご予約受付中。出版後の入荷・発送