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)

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

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

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

  • ウェブストア価格 ¥18,244(本体¥16,586)
  • Springer Nature Switzerland AG(2021/12発売)
  • ポイント 165pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
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)

  • ウェブストア価格 ¥24,327(本体¥22,116)
  • Springer Nature Switzerland AG(2021/11発売)
  • ポイント 221pt
  • オンデマンド(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)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer International Publishing AG(2015/07発売)
  • ポイント 101pt
  • 海外取次在庫
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)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer International Publishing AG(2015/07発売)
  • ポイント 101pt
  • 海外取次在庫
Formal Aspects of Component Software : 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers (Programming and Software Engineering) (2013)
  • 洋書

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

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

  • ウェブストア価格 ¥14,598(本体¥13,271)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/01発売)
  • ポイント 132pt
  • 海外取次在庫