Leveraging Applications of Formal Methods, Verification, and Validation : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklio
  • 洋書

Leveraging Applications of Formal Methods, Verification, and Validation : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklio  Paperback,  言語:ENG

Margaria, Tiziana (EDT)/ Steffen, Bernhard (EDT)

  • ウェブストア価格 ¥24,313(本体¥22,103)
  • Springer-Verlag New York Inc(2010/11発売)
  • ポイント 221pt
  • 海外取次在庫
Leveraging Applications of Formal Methods, Verification, and Validation : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklio
  • 洋書

Leveraging Applications of Formal Methods, Verification, and Validation : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklio  Paperback,  言語:ENG

Margaria, Tiziana (EDT)/ Steffen, Bernhard (EDT)

  • ウェブストア価格 ¥12,155(本体¥11,050)
  • Springer-Verlag New York Inc(2010/11発売)
  • ポイント 110pt
  • 海外取次在庫
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I (Theoretical Computer Science and General Iss
  • 洋書

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I (Theoretical Computer Science and General Iss  Paperback

Margaria, Tiziana (EDT)/ Steffen, Bernhard (EDT)

  • ウェブストア価格 ¥24,313(本体¥22,103)
  • Springer International Publishing AG(2016/10発売)
  • ポイント 221pt
  • 海外取次在庫
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II (Theoretical Computer Scienc
  • 洋書
  • 電子版あり

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II (Theoretical Computer Scienc  Paperback

Margaria, Tiziana (EDT)/ Steffen, Bernhard (EDT)

  • ウェブストア価格 ¥12,155(本体¥11,050)
  • Springer International Publishing AG(2016/10発売)
  • ポイント 110pt
  • 海外取次在庫
Formal Methods for Industrial Critical Systems : A Survey of Applications
  • 洋書
  • 電子版あり

Formal Methods for Industrial Critical Systems : A Survey of Applications  Paperback,  言語:ENG

Gnesi, Stefania/ Margaria, Tiziana

  • ウェブストア価格 ¥22,322(本体¥20,293)
  • IEEE Computer Society(2013/01発売)
  • ポイント 202pt
  • 海外取次在庫
Software Business. from Physical Products to Software Services and Solutions : 4th International Conference, ICSOB 2013, Potsdam, Germany, June 11-14, 2013, Proceedings (Lecture Notes in Business Information Processing) (2013)
  • 洋書

Software Business. from Physical Products to Software Services and Solutions : 4th International Conference, ICSOB 2013, Potsdam, Germany, June 11-14, 2013, Proceedings (Lecture Notes in Business Information Processing) (2013)  Paperback,  言語:ENG

Herzwurm, Georg (EDT)/ Tiziana, Margaria (EDT)

  • ウェブストア価格 ¥11,049(本体¥10,045)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/07発売)
  • ポイント 100pt
  • 海外取次在庫
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II (Theoretical Computer Science (2014)
  • 洋書
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I (Theoretical Computer Science and Ge (2014)
  • 洋書
Semantic Web Services Challenge : Results from the First Year (Semantic Web and Beyond)
  • 洋書

Semantic Web Services Challenge : Results from the First Year (Semantic Web and Beyond)  Paperback,  言語:ENG

Petrie, Charles/ Margaria, Tiziana (EDT)/ Lausen, Holger/ Zaremba, Mic

  • ウェブストア価格 ¥37,358(本体¥33,962)
  • Springer(2010/02発売)
  • ポイント 339pt
  • 海外取次在庫
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)

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