Fundamental Approaches to Software Engineering (Lecture Notes in Computer Science)
  • 洋書
  • 予約

Fundamental Approaches to Software Engineering (Lecture Notes in Computer Science)  Paperback

Albert, ElviraEDT/ Pasareanu, CorinaEDT

  • ウェブストア価格 ¥11,258(本体¥10,235)
  • Springer, Berlin; ETAPS Society; Springer(2026/06発売)
  • ポイント 102pt
  • ご予約受付中。出版後の入荷・発送
Symbolic Execution and Quantitative Reasoning : Applications to Software Safety and Security (Synthesis Lectures on Software Engineering)
  • 洋書

Symbolic Execution and Quantitative Reasoning : Applications to Software Safety and Security (Synthesis Lectures on Software Engineering)  Paperback,  言語:ENG

Păsăreanu, Corina S.

  • ウェブストア価格 ¥6,493(本体¥5,903)
  • Springer International Publishing AG(2020/05発売)
  • ポイント 59pt
  • 海外からお取り寄せ(通常6~9週間)
Formal Methods : 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings (Programming and Software Engineering)
  • 洋書

Formal Methods : 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings (Programming and Software Engineering)  Paperback

Huisman, Marieke (EDT)/ Păsăreanu, Corina (EDT)/ Zhan, Naijun (EDT)

  • ウェブストア価格 ¥26,692(本体¥24,266)
  • Springer Nature Switzerland AG(2021/11発売)
  • ポイント 242pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II (Theoretical Computer Science and General Issues)  Paperback

Kroening, Daniel (EDT)/ Păsăreanu, Corina S. (EDT)

  • ウェブストア価格 ¥12,233(本体¥11,121)
  • Springer International Publishing AG(2015/07発売)
  • ポイント 111pt
  • 海外取次在庫
Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I (Theoretical Computer Science and General Issues)  Paperback

Kroening, Daniel (EDT)/ Păsăreanu, Corina S. (EDT)

  • ウェブストア価格 ¥12,233(本体¥11,121)
  • Springer International Publishing AG(2015/07発売)
  • ポイント 111pt
  • 海外取次在庫
Formal Aspects of Component Software : 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers (Lecture Notes in Computer Science) (2013)
  • 洋書

Formal Aspects of Component Software : 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers (Lecture Notes in Computer Science) (2013)  Paperback,  言語:ENG

Pasareanu, Corina S (EDT)/ Salaün, Gwen (EDT)

  • ウェブストア価格 ¥16,017(本体¥14,561)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/01発売)
  • ポイント 145pt
  • 海外取次在庫
Theoretical Aspects of Computing - ICTAC 2022 : 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Theoretical Aspects of Computing - ICTAC 2022 : 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Seidl, Helmut (EDT)/ Liu, Zhiming (EDT)/ Pasareanu, Corina S. (EDT)

  • ウェブストア価格 ¥12,233(本体¥11,121)
  • Springer International Publishing AG(2022/10発売)
  • ポイント 111pt
  • 海外取次在庫
Software Engineering and Formal Methods : 19th International Conference, SEFM 2021, Virtual Event, December 6-10, 2021, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Software Engineering and Formal Methods : 19th International Conference, SEFM 2021, Virtual Event, December 6-10, 2021, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Calinescu, Radu (EDT)/ Păsăreanu, Corina S. (EDT)

  • ウェブストア価格 ¥20,018(本体¥18,199)
  • Springer Nature Switzerland AG(2021/12発売)
  • ポイント 181pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。