Software Engineering and Formal Methods : SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers (Programming and Software Engineering)
  • 洋書

Software Engineering and Formal Methods : SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers (Programming and Software Engineering)  Paperback

Bianculli, Domenico (EDT)/ Calinescu, Radu (EDT)/ Rumpe, Bernhard (EDT)

  • ウェブストア価格 ¥12,155(本体¥11,050)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2016/02発売)
  • ポイント 110pt
  • 海外取次在庫
Software Architecture. ECSA 2025 Tracks and Workshops : Limassol, Cyprus, September 15-19, 2025, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Software Architecture. ECSA 2025 Tracks and Workshops : Limassol, Cyprus, September 15-19, 2025, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Bianculli, Domenico (EDT)/ Sartaj, Hassan (EDT)/ Andrikopoulos, Vasilios (EDT)

  • ウェブストア価格 ¥14,366(本体¥13,060)
  • Springer Nature Switzerland AG(2025/10発売)
  • ポイント 130pt
  • 海外からお取り寄せ(通常6~9週間)
Software Engineering and Formal Methods : 23rd International Conference, SEFM 2025, Toledo, Spain, November 10-14, 2025, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Software Engineering and Formal Methods : 23rd International Conference, SEFM 2025, Toledo, Spain, November 10-14, 2025, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Bianculli, Domenico (EDT)/ Gómez-Martínez, Elena (EDT)

  • Springer Nature Switzerland AG(2025/11発売)
  • ご注文いただけません