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 15728) （2025. xxii, 342 S. XXII, 342 p. 106 illus., 69 illus. in color. 235 mm）
  • 洋書

Rigorous State-Based Methods : 11th International Conference, ABZ 2025, Düsseldorf, Germany, June 10-13, 2025, Proceedings (Lecture Notes in Computer Science 15728) （2025. xxii, 342 S. XXII, 342 p. 106 illus., 69 illus. in color. 235 mm）  Paperback

Herausgegeben:Leuschel, Michael/ Ishikawa, Fuyuki

  • ウェブストア価格 ¥32,817（本体¥29,834）
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING（2025発売）
  • ポイント 298pt
  • 海外からお取り寄せ（通常6～9週間）
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,231（本体¥15,665）
  • Springer International Publishing AG（2024/06発売）
  • ポイント 156pt
  • 海外取次在庫
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

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