1～3件／全3件 セーフサーチON
  •  
Rigorous State-Based Methods : 11th International Conference, ABZ 2025, Düsseldorf, Germany, June 10-13, 2025, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 予約

Rigorous State-Based Methods : 11th International Conference, ABZ 2025, Düsseldorf, Germany, June 10-13, 2025, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語：ENG

Leuschel, Michael (EDT)/ Ishikawa, Fuyuki (EDT)

  • Springer International Publishing AG（2025/08発売）
  • ご注文いただけません
Rigorous State-Based Methods : 10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Rigorous State-Based Methods : 10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, Proceedings (Lecture Notes in Computer Science)  Paperback

Bonfanti, Silvia (EDT)/ Gargantini, Angelo (EDT)/ Leuschel, Michael (EDT)

  • ウェブストア価格 ¥17,829（本体¥16,209）
  • Springer International Publishing AG（2024/06発売）
  • ポイント 162pt
  • 海外取次在庫
Abstract State Machines, Alloy, B, VDM, and Z : Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7316) （2012. 2012. XV, 378 S. 235 mm）
  • 洋書

Abstract State Machines, Alloy, B, VDM, and Z : Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7316) （2012. 2012. XV, 378 S. 235 mm）  Paperback

Herausgegeben von Derrick, John/ Fitzgerald, John S./ Gnesi, Stefania/ Khurshid, Sarfraz/ Leuschel, Michael

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