1～1件／全1件 セーフサーチON
  •  
Formal Methods for Design of Real-Time Systems : International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004. Revised Lectures (Lecture Notes in Computer Science Vol.3185) （2004. VII, 295 p.）
  • 洋書

Formal Methods for Design of Real-Time Systems : International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004. Revised Lectures (Lecture Notes in Computer Science Vol.3185) （2004. VII, 295 p.）  Paperback

Ed. by M. Bernardo a. F. Corradini

  • ウェブストア価格 ¥13,920（本体¥12,655）
  • SPRINGER, BERLIN（2004発売）
  • ポイント 126pt
  • 海外取次在庫
1～1件／全1件
  •