Automated Technology for Verification and Analysis : 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings (Programming and Software Engineering)
  • 洋書
  • 電子版あり

Automated Technology for Verification and Analysis : 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings (Programming and Software Engineering)  Paperback

Artho, Cyrille (EDT)/ Legay, Axel (EDT)/ Peled, Doron (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer International Publishing AG(2016/09発売)
  • ポイント 101pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
From Programs to Systems - the Systems Perspective in Computing : ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings (Lecture Notes in Computer Science) (2014)
  • 洋書

From Programs to Systems - the Systems Perspective in Computing : ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings (Lecture Notes in Computer Science) (2014)  Paperback,  言語:ENG

Bensalem, Saddek (EDT)/ Lakhnech, Yassine (EDT)/ Legay, Axel (EDT)

  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2014/03発売)
  • ご注文いただけません
Formal Modeling and Analysis of Timed Systems : 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings (Theoretical Computer Science and General Issues) (2014)
  • 洋書

Formal Modeling and Analysis of Timed Systems : 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings (Theoretical Computer Science and General Issues) (2014)  Paperback,  言語:ENG

Legay, Axel (EDT)/ Bozga, Marius (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer International Publishing AG(2014/08発売)
  • ポイント 101pt
  • 海外取次在庫
Hardware and Software: Verification and Testing : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings (Lecture Notes in Computer Science) (2013)
  • 洋書

Hardware and Software: Verification and Testing : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings (Lecture Notes in Computer Science) (2013)  Paperback,  言語:ENG

Bertacco, Valeria (EDT)/ Legay, Axel (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer International Publishing AG(2013/10発売)
  • ポイント 101pt
  • 海外取次在庫
Runtime Verification : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings (Programming and Software Engineering) (2013)
  • 洋書

Runtime Verification : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings (Programming and Software Engineering) (2013)  Paperback,  言語:ENG

Legay, Axel (EDT)/ Bensalem, Saddek (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/08発売)
  • ポイント 101pt
  • 海外取次在庫
Risks and Security of Internet and Systems : 11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016, Revised Selected Papers (Information Systems and Applications, incl. Internet/web, and Hci)
  • 洋書
  • 電子版あり

Risks and Security of Internet and Systems : 11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016, Revised Selected Papers (Information Systems and Applications, incl. Internet/web, and Hci)  Paperback,  言語:ENG

Cuppens, Frédéric (EDT)/ Cuppens, Nora (EDT)/ Lanet, Jean-Louis (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer International Publishing AG(2017/03発売)
  • ポイント 101pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Models, Algorithms, Logics and Tools : Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

Models, Algorithms, Logics and Tools : Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Aceto, Luca (EDT)/ Bacci, Giorgio (EDT)/ Bacci, Giovanni (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer International Publishing AG(2017/07発売)
  • ポイント 101pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Model Checking Software : 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

Model Checking Software : 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Biondi, Fabrizio (EDT)/ Given-Wilson, Thomas (EDT)/ Legay, Axel (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer Nature Switzerland AG(2019/09発売)
  • ポイント 101pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Risks and Security of Internet and Systems : 12th International Conference, CRiSIS 2017, Dinard, France, September 19-21, 2017, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Risks and Security of Internet and Systems : 12th International Conference, CRiSIS 2017, Dinard, France, September 19-21, 2017, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback

Cuppens, Nora (EDT)/ Cuppens, Frédéric (EDT)/ Lanet, Jean-Louis (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer International Publishing AG(2018/02発売)
  • ポイント 101pt
  • 海外取次在庫
Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedi
  • 洋書
  • 電子版あり

Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedi  Paperback,  言語:ENG

Legay, Axel (EDT)/ Margaria, Tiziana (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2017/03発売)
  • ポイント 101pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedi
  • 洋書
  • 電子版あり

Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedi  Paperback,  言語:ENG

Legay, Axel (EDT)/ Margaria, Tiziana (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2017/03発売)
  • ポイント 101pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。