1～3件／全3件 セーフサーチON
  •  
Coordination Models and Languages (Lecture Notes in Computer Science 13271) （1st ed. 2022. 2022. Approx. 220 p. 235 mm）
  • 洋書

Coordination Models and Languages (Lecture Notes in Computer Science 13271) （1st ed. 2022. 2022. Approx. 220 p. 235 mm）  Hardcover

Herausgegeben:ter Beek, Maurice H./ Sirjani, Marjan

  • ウェブストア価格 ¥17,202（本体¥15,639）
  • SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING;（2022発売）
  • ポイント 156pt
  • 海外からお取り寄せ（通常6～9週間）
Integrated Formal Methods : 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Integrated Formal Methods : 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings (Lecture Notes in Computer Science)  Paperback

ter Beek, Maurice H. (EDT)/ Monahan, Rosemary (EDT)

  • ウェブストア価格 ¥18,049（本体¥16,409）
  • Springer International Publishing AG（2022/06発売）
  • ポイント 164pt
  • 海外からお取り寄せ（通常6～9週間）
From Software Engineering to Formal Methods and Tools, and Back : Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

From Software Engineering to Formal Methods and Tools, and Back : Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday (Theoretical Computer Science and General Issues)  Paperback,  言語：ENG

ter Beek, Maurice H. (EDT)/ Fantechi, Alessandro (EDT)/ Semini, Laura (EDT)

  • ウェブストア価格 ¥11,458（本体¥10,417）
  • Springer Nature Switzerland AG（2019/09発売）
  • ポイント 104pt
  • 海外取次在庫
1～3件／全3件
  •