1～4件／全4件 セーフサーチON
  •  
Critical Systems: Formal Methods and Automated Verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, I
  • 洋書
  • 電子版あり

Critical Systems: Formal Methods and Automated Verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, I  Paperback

ter Beek, Maurice H. (EDT)/ Gnesi, Stefania (EDT)/ Knapp, Alexander (EDT)

  • ウェブストア価格 ¥11,380（本体¥10,346）
  • Springer International Publishing AG（2016/09発売）
  • ポイント 103pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Software Engineering and Formal Methods : 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings (Lecture Notes in Computer Science 15280) （2024. xv, 462 S. XV, 462 p. 243 illus., 190 illus. in color. 235 mm）
  • 洋書

Software Engineering and Formal Methods : 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings (Lecture Notes in Computer Science 15280) （2024. xv, 462 S. XV, 462 p. 243 illus., 190 illus. in color. 235 mm）  Paperback

Herausgegeben:Madeira, Alexandre/ Knapp, Alexander

  • ウェブストア価格 ¥18,526（本体¥16,842）
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING（2024発売）
  • ポイント 168pt
  • 海外取次在庫
Go Where the Bugs Are : Essays Dedicated to Wolfgang Reif on the Occasion of His 65th Birthday (Lecture Notes in Computer Science)
  • 洋書

Go Where the Bugs Are : Essays Dedicated to Wolfgang Reif on the Occasion of His 65th Birthday (Lecture Notes in Computer Science)  Paperback,  言語：ENG

Ernst, Gidon (EDT)/ Güdemann, Matthias (EDT)/ Knapp, Alexander (EDT)

  • ウェブストア価格 ¥16,661（本体¥15,147）
  • Springer International Publishing AG（2025/05発売）
  • ポイント 151pt
  • 海外からお取り寄せ（通常6～9週間）
Radical Innovations of Software and Systems Engineering in the Future, RISSEF 2002 : 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers (Lecture Notes in Computer Science Vol.2941) （2004. X, 359 p. 23,5 cm）
  • 洋書

Radical Innovations of Software and Systems Engineering in the Future, RISSEF 2002 : 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers (Lecture Notes in Computer Science Vol.2941) （2004. X, 359 p. 23,5 cm）  Paperback,  言語：ENG

Ed. by Martin Wirsing, Alexander Knapp and Simonetta Balsamo

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