Logic Based Program Synthesis and Transportation : 12th International Workshop, Lopstr 2002, Madrid, Spain, September 17-20, 2002 : Proceedings (Lectu
  • 洋書

Logic Based Program Synthesis and Transportation : 12th International Workshop, Lopstr 2002, Madrid, Spain, September 17-20, 2002 : Proceedings (Lectu  Paperback,  言語:ENG

Leuschel, Michael/ Lopstr 200 (2002 Madrid, Spain)

  • ウェブストア価格 ¥12,233(本体¥11,121)
  • Springer Verlag(2003/06発売)
  • ポイント 111pt
  • 海外取次在庫
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

  • ウェブストア価格 ¥14,073(本体¥12,794)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 127pt
  • 海外取次在庫
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)

  • ウェブストア価格 ¥18,906(本体¥17,188)
  • Springer International Publishing AG(2024/06発売)
  • ポイント 171pt
  • 海外取次在庫
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

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

  • ウェブストア価格 ¥31,142(本体¥28,311)
  • Springer International Publishing AG(2025/09発売)
  • ポイント 283pt
  • 海外取次在庫