1～2件／全2件 セーフサーチON
  •  
Perspectives of Systems Informatics : 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27 - July 1, 2011, Revised Selected Papers (Lecture Notes in Computer Science Vol.7162) （2012. XIV, 411 p.）
  • 洋書

Perspectives of Systems Informatics : 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27 - July 1, 2011, Revised Selected Papers (Lecture Notes in Computer Science Vol.7162) （2012. XIV, 411 p.）  Paperback,  言語：ENG

Herausgegeben von Clarke, Edmund/ Virbitskaite, Irina/ Voronkov, Andrei

  • ウェブストア価格 ¥13,231（本体¥12,029）
  • SPRINGER, BERLIN（2012発売）
  • ポイント 120pt
  • 海外取次在庫
Handbook of Model Checking, 2 Teile （Softcover reprint of the original 1st ed. 2018. 2020. xlviii, 1212 S.）
  • 洋書

Handbook of Model Checking, 2 Teile （Softcover reprint of the original 1st ed. 2018. 2020. xlviii, 1212 S.）  Paperback

Herausgegeben von Clarke, Edmund M./ Henzinger, Thomas A./ Veith, Helmut/ Bloem, Roderick

  • ウェブストア価格 ¥37,055（本体¥33,687）
  • SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING;（2020発売）
  • ポイント 336pt
  • 海外からお取り寄せ（通常6～9週間）
1～2件／全2件
  •